11/06/12 10:32:43.81
>>738
>Q公理を追加していった極大点としてのcomplete theoryなんて存在するの？
>A選択公理の弱い奴を必要とするけど、あるよ。
>Q「証明」がwell definedな概念なら、証明可能か否かは確定してるはずでは？
>A・・・
そもそも、何が「追加すべき公理」か、確定できない。
11/06/12 10:32:43.81
>>738
>Q公理を追加していった極大点としてのcomplete theoryなんて存在するの？
>A選択公理の弱い奴を必要とするけど、あるよ。
>Q「証明」がwell definedな概念なら、証明可能か否かは確定してるはずでは？
>A・・・
そもそも、何が「追加すべき公理」か、確定できない。