Аксіёма: Розніца паміж версіямі

[недагледжаная версія][недагледжаная версія]
Змесціва выдалена Змесціва дададзена
др r2.7.1) (робат Дадаем: hif:Axiom
Радок 6:
Прыклады розных, але раўнасільных набораў аксіём можна сустрэць у [[матэматычная логіка|матэматычнай логіцы]] і [[Еўклідава геаметрыя|еўклідавай геаметрыі]].
 
Набор аксіём завецца несупярэчлівым, калі з аксіём набору, карыстаючыся правіламі [[логіка|логікі]], нельга прыйсці да супярэчнасці. Аксіёмы з’яўляюццаз'яўляюцца свайго роду «пунктамі адліку» для пабудовы любой навукі, пры гэтым самі яны не даказваюцца, а выводзяцца непасрэдна з эмпірычнага назірання ([[Дасведчанае веданне|досведу]]).
 
Упершыню тэрмін «аксіёма» сустракаецца ў [[Арыстоцель|Арыстоцеля]] ([[384 год да н. э.|384]]—[[322 год да н. э.|322 да н. э.]]) і перайшоў у [[матэматыка|матэматыку]] ад [[філосаф]]аў [[Старажытная Грэцыя|Старажытнай Грэцыі]]. [[Еўклід]] адрознівае паняцці «пастулат» і «аксіёма», не тлумачачы іх адрознення. З часоў Баэцыя пастулаты перакладаюць як патрабаванні (petitio), аксіёмы — як агульныя паняцці. Першапачаткова слова «аксіёма» мела значэнне «[[ісціна]], відавочная сама па сабе». У розных манускрыптах Пачаткаў Еўкліда разбіццё сцвярджэнняў на аксіёмы і пастулаты розна, не супадае іх парадак. Верагодна перапісчыкі прытрымваліся розных гледжанняў на адрозненне гэтых паняццяў.
Радок 22:
 
[[Катэгорыя:Навуковыя паняцці]]
[[Катэгорыя:ЛогікаМатэматычная логіка]]
[[Катэгорыя:Вікіпедыя:Істотныя артыкулы]]