最終更新日：2025/11/25
In the formal derivation, the schematic variable α ranges over formulas in the axiom schema and should not be confused with object-language variables that are quantified over individuals.
正解を見る
In the formal derivation, the schematic variable α ranges over formulas in the axiom schema and should not be confused with object-language variables that are quantified over individuals.
音声機能が動作しない場合はこちらをご確認ください
編集履歴（0）
