>無理ですね
少なくとも、お前の有限ナントカ公理のもとでも
「有理数」までは構成できるけどな