English: what is known as the theory of types.
Telugu: దీన్నే వర్గాల సిద్ధాంతం (theory of types) అంటారు.