18/01/04 22:58:13.17 0hxJxSQM.net
>>492
じゃあもう少し具体的に説明して貰えますか？
例えば完全性定理の証明の際に、論理式全体(だったかな？)を整列させて帰納的に極大無矛盾集合を作るじゃないですか
その際にこの帰納的に作る過程において公理をどういう風に適応させていると言うんでしょうか？
18/01/04 22:58:13.17 0hxJxSQM.net
>>492
じゃあもう少し具体的に説明して貰えますか？
例えば完全性定理の証明の際に、論理式全体(だったかな？)を整列させて帰納的に極大無矛盾集合を作るじゃないですか
その際にこの帰納的に作る過程において公理をどういう風に適応させていると言うんでしょうか？