Taxonomy
Examining groups of related theories, a first finding may be to identify classes of theories, thus specifying a taxonomy of theories. A proof engendered by a metatheory is called a metatheorem.
Read more about this topic: Metatheory
Taxonomy
Examining groups of related theories, a first finding may be to identify classes of theories, thus specifying a taxonomy of theories. A proof engendered by a metatheory is called a metatheorem.
Read more about this topic: Metatheory