(logic) A formal system.
logical system
その数学者は証明を形式化するために新しい形式体系を開発した。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★