Accordingly, if I say that as regards space either the world is infinite or it is not infinite (non est infinitus), then if the first proposition is false, its contradictory opposite, the world is not infinite, must be true.