|
|
От
|
Ktulu
|
|
|
К
|
tevolga
|
|
|
Дата
|
04.12.2006 13:15:20
|
|
|
Рубрики
|
Суворов (В.Резун);
|
|
Re: Можно доказать...
>>Т.е. доказать, что в наборе аксиом ни одна не следует из
>>произвольного набора других. Доказать аксиому нельзя по определению.
>
>Не совсем так.
>Берется набор высказываний(удовлетворяющих определенным правилам) и постулируется их аксиоматичность. Далее доказывается что ни одна из них не следует из другой, и что они не приводят к противоречивым выводам.
Есть доказательство набора аксиом на отсутствие противоречивости,
есть доказательство набора аксиом на минимальность. Доказать
отдельную аксиому нельзя по определению. Не понятно, с чем вы спорите.
Или это гуманитарное образование прёт?
>C уважением к сообществу.
--
Алексей