As a metalogician, she examined the foundations of formal systems to determine which statements are provable.
彼女はメタ論理学の研究者として、形式体系の基礎を調べ、どの命題が証明可能かを明らかにしようとした。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
