|
|
От
|
Ktulu
|
|
|
К
|
tevolga
|
|
|
Дата
|
04.12.2006 12:34:56
|
|
|
Рубрики
|
Суворов (В.Резун);
|
|
Можно доказать минимальность набора аксиом.
Т.е. доказать, что в наборе аксиом ни одна не следует из
произвольного набора других. Доказать аксиому нельзя по определению.
>Формальная математика позволяет доказывать какое утверждение есть аксиома, а какое теорема.
>С уважением к сообществу.
--
Алексей