On this basis it is a science of the manifolds which, according to formal elementary laws of the noncontradiction of these constructions, can be built up systematically as in themselves free of contradiction.