От Passenger Ответить на сообщение
К Исаев Алексей
Дата 02.11.2004 15:50:43 Найти в дереве
Рубрики WWII; Версия для печати

Мнение Даля устарело уже в момент публикования словаря (+)

Так уже была сформулирована неэвклидова геометрия Лобачевского.

Сейчас аксиомами называют любой набор (повторяю, ЛЮБОЙ) утверждений из которых по правилам вывода выводятся теоремы. Требуется лишь то, чтобы из них нельзя было вывести какое-нибудь утверждение, так и ему противоположное, например 1=2 и 1#2 одновременно (это и есть свойство непротиворечивости о котором в этой ветке уже упоминали). Об очевидности не идет и речи (а если Вы заинтересуетесь топологией, то будете поражены, как много аксиом, а значит и теорем, будут противоречить обывательскому здравому смыслу :-) )

Ну а по теме - вроде превосходство Красной Армии над гитлеровской в 1944 г., и колоссальное экономическое превосходство США (трансформируемое в любое другое) уже с начала войны никто не отменял...

>С уважением, Алексей Исаев
С уважением, Passenger