Աքսիոմ

Մաթեմատիկայում աքսիոմ տերմինը օգտագործվում է երկու կապակցված, բայց տարբերակվող իմաստներով. #տրամաբանական աքսիոմներ" և #ոչ տրամաբանական աքսիոմներ"։ Տրամաբանական աքսիոմները որպես կանոն պնդումներ են, որոնք ենթադրվում է որ ճիշտ են այն տրամաբանության տիրույթով, որը նրանք սահմանում են (այսինքն (${\displaystyle A}$ և ${\displaystyle B}$) հետևում է ${\displaystyle A}$), մինչդեռ ոչ տրամաբանական աքսիոմները իրականում սահմանում են մասնակի մաթեմատիկական տիրույթի, ինչպիսին օրինակ թվաբանությունն է, հատկությունները (${\displaystyle 1=a+b=b+a}$)։ Աքսիոմ, պոստուլատ և ենթադրություն իմաստները փոխադարձ փոխարինելի են։

• Աքսիոմատիկ մեթոդ