Mathematical logic as based on the theory of types. The doctrine of types. The axiom of infinity and logical types. Classes