>>63
残念だが本当だ。
ところで、誰かTarskiの量化記号消去について簡単に説明してくれ。