The mathematician pondered the unprovability of certain statements within the formal system.
数学者は、ある文がその形式体系の中で証明できないという性質について熟考した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
