The Eight Types of Formal Systems
Multiple Intelligences
The Top Ontology of Academic Term
The easiest and most complete Formal System
An artistic representation of a Turing Machine