|
|
От
|
Ktulu
|
|
|
К
|
Booker
|
|
|
Дата
|
04.12.2006 12:36:22
|
|
|
Рубрики
|
Суворов (В.Резун);
|
|
Т.е. они доказали минимальность набора аксиом,
а не саму аксиому, которую доказать нельзя по определению.
>Работы Больяи и Лобачевского (и Гаусса, но неопубликованные) как раз положили конец попыткам доказать 5-й постулат Евклида. До этого считалось, что он лишний в списке аксиом.
--
Алексей