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

З Вікіпедыі, свабоднай энцыклапедыі
[недагледжаная версія][недагледжаная версія]
Змесціва выдалена Змесціва дададзена
Juryk (размовы | уклад)
др Праўкі аўтарства Juryk (размова) адкочаныя; вернута апошняя версія аўтарства [[User:Чаховіч Уладзіслаў|Чаховіч Ул...
Радок 21: Радок 21:
*[[аксіёмы кангруэнтнасці]]
*[[аксіёмы кангруэнтнасці]]
*[[аксіёма паралельнасці]]
*[[аксіёма паралельнасці]]
*[[аксіёмы непарыўнасці]]
*[[аксіёмы неперарыўнасці]]


[[Катэгорыя:Геаметрыя]]
[[Катэгорыя:Геаметрыя]]

Версія ад 10:14, 5 верасня 2016

Аксіё́мы геаме́трыі – набор аксіём, якія складаюць лагічную аснову геаметрыі (яе аксіяматыку). Аксіёмы прызнаюцца як сапраўдныя сцверджанні, якія не патрабуюць доказу. Усе іншыя палажэнні геаметрыі даказваюцца (лагічна выводзяцца) з яе аксіём.

Аксіяматыка Еўкліда

Старажытнагрэчаскі матэматык Еўклід (III ст. да н.э.) быў першым, хто распрацаваў сістэму геаметрычных аксіём (пастулатаў). Аксіяматыка Еўкліда складаецца з пяці пастулатаў:

Аксіяматыка Гільберта

У 1899 г. нямецкі матэматык Д. Гільберт прапанаваў больш дасканалую сістэму з 21 аксіёмы, падзеленай на пяць груп: