This is the study of the properties and relationships of different types of objects within a formal system, and seeks to determine which types are valid or not.
This is the study of the properties and relationships of different types of objects within a formal system, and seeks to determine which types are valid or not.