実数の公理　と　本来の実数という存在　について。