a word which in the theory of manifolds signifies not judgments propositions but forms of propositions as components of the definition of a manifold to be constructed formally without internal contradiction.