>>383
それのどこがモデル理論？
それに、L を構成するだけでは、相対的無矛盾性を示したことにはならないし。