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