English: The theory of types
Telugu: వర్గాల సిద్ధాంతం (Theory of types)