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