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