>Есть доказательство набора аксиом на отсутствие противоречивости,
>есть доказательство набора аксиом на минимальность. Доказать
>отдельную аксиому нельзя по определению.
>>Есть доказательство набора аксиом на отсутствие противоречивости,
>>есть доказательство набора аксиом на минимальность. Доказать
>>отдельную аксиому нельзя по определению.
>Я где-то утверждал обратное?
Вы уводите обсуждение в сторону от вопроса, переводя тему на минимальность
или непротиворечивость.
>>Не понятно, с чем вы спорите.
>
>А Вы?:-)
Вот с этим
" Независимо от Больяи Лобачевский пришел к выводу о недоказуемости 5-го постулата".
>>Или это гуманитарное образование прёт?
>Конечно. И гуманитарное:-)
>>>Есть доказательство набора аксиом на отсутствие противоречивости,
>>>есть доказательство набора аксиом на минимальность. Доказать
>>>отдельную аксиому нельзя по определению.
>>Я где-то утверждал обратное?
>
>Вы уводите обсуждение в сторону от вопроса, переводя тему на минимальность
>или непротиворечивость.
Я высказываю свою точку зрения. А Вы пытаетесь меня в чем-то уличить:-)
Разве минимальность и непротиворечивость не есть термины формальной математики(с которой я начал)?
>>>Не понятно, с чем вы спорите.
>>
>>А Вы?:-)
>Вот с этим
>" Независимо от Больяи Лобачевский пришел к выводу о недоказуемости 5-го постулата".
Это я утверждал?:-)
>>>Или это гуманитарное образование прёт?
>>Конечно. И гуманитарное:-)
>
>Это заметно.
Вы не заметили союза "и":-)) Наверное у Вас техническое образование?:-)