無窮性公設;無窮性公理