Біздің заманымызға дейінгі IIIIV ғасырда қалыптастырылған Евклидтік геометрияның аксиомалары э., XIX ғасырдың екінші жартысына дейін геометрияның негізін құрады, өйткені физикалық кеңістікті жақсы сипаттайды және онымен бірдейленді. Евклидтің бес постулаты геометрияны толық сипаттау үшін жеткіліксіз болды, сондықтан 1899 жылы Гильберт өз жүйесін аксиомалармен ұсынды. Гилберт аксиомаларды бірнеше топқа бөлді: тиесілілік, конгруэнттілік, үздіксіздік (соның ішінде Архимед аксиомасы), толықтық және қатарлылық аксиомалары. Кейіннен Шур конгруэнттілік аксиомаларын қозғалыс аксиомаларымен ауыстырды, ал толықтық аксиомасының орнына Кантор аксиомасын қолдануға кірісті. Евклидтік геометрияның аксиомалар жүйесі барлық белгілі мектеп теоремаларын дәлелдеуге мүмкіндік береді ((3).
Аксиомаларды бірнеше топқа кім бөлді?
Гилберт