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