Աքսիոմա - Վիքիպեդիա՝ ազատ հանրագիտարան
Աքսիոմա
Աքսիոման կամ պոստուլատը հիմնավորման ելակետն է։ Ինչպես դասականորեն ընդունված է, աքսիոման ակնհայտ նախադրյալ է, որը պետք է ընդունվի առանց վիճարկման, այն անհերքելի ճշմարտություն է[1]: Աքսիոմա հունարեն ἀξίωμα (āxīoma) ' բառից է, որ նշանակում է արժեքավոր գաղափար, կամ այն ինչ համարվում է ակնհայտ[2][3]: Ժամանակակից տրամաբանության մեջ աքսիոման պարզապես մտահանգման ելակետն է[4]:
Մաթեմատիկայում աքսիոմա տերմինը օգտագործվում է երկու կապակցված, բայց տարբերակվող իմաստներով. #տրամաբանական աքսիոմաներ" և #ոչ տրամաբանական աքսիոմաներ"։ Տրամաբանական աքսիոմաները որպես կանոն պնդումներ են, որոնք ենթադրվում է որ ճիշտ են այն տրամաբանության տիրույթով, որը նրանք սահմանում են (այսինքն (A և B) հետևում է A), մինչդեռ ոչ տրամաբանական աքսիոմաները իրականում սահմանում են մասնակի մաթեմատիկական տիրույթի, ինչպիսին օրինակ թվաբանությունն է, հատկությունները (1= a + b = b + a)։ Աքսիոմա, պոստուլատ և ենթադրություն իմաստները փոխադարձ փոխարինելի են։
↑ Oxford American College Dictionary: "n. a statement or proposition that is regarded as being established, accepted, or self-evidently true. ORIGIN: late 15th cent.: ultimately from Greek axiōma 'what is thought fitting,' from axios 'worthy.' http://www.highbeam.com/doc/1O997-axiom.html Կաղապար:Subscription
Ստացված է «https://hy.wikipedia.org/w/index.php?title=Աքսիոմա&oldid=5692748» էջից
Այս էջը վերջին անգամ փոփոխվել է 21 Մարտի 2018 թվականի ժամը 19:03-ին: