21/12/10 06:31:22.22 I0HYOg9d.net
>>57 >>60
保存拡大とかwell-definedとか忘れた上で
そもそもCor 3.12が数論における決定可能命題なのかどうか
見直したほうがいいかもしれんね
つまり、以下のどれか判定する
α)数論では真である(つまりそれ自体証明できる)
β)数論では偽である(つまりそれから矛盾が証明できる)
γ)数論では決定不能である(つまり証明もできないし矛盾も導けない)
δ)そもそも3つのどれかすら判定できない(そういう命題もあるらしい)