The condition of being unprovable
unprovability
数学者は、ある文がその形式体系の中で証明できないという性質について熟考した。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★