Synonym of Curry's paradox
Löb's paradox
講義で教授は、カリーのパラドックスに相当する逆説と形式的証明可能性への影響について説明した。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★