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