科学哲学会での発表要旨。 Lukasiewicz無限値述語論理の上で包括原理(the comprehension principle)を持つ集合論（ここではHと表記する）は、Whiteによって無矛盾性の証明が証明されたが、そのモデルの構成法は証明論的な技法による複雑な扱いにくいものであ…