In the formal system, the axiom schemes provide blueprints from which infinitely many axioms can be derived.
その形式系では、公理スキーマが無限に多くの公理を導出するための青写真として機能する。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
