Example image of eyePlorer eyePlorer map for 'Theory': Formal language Mathematical logic Theory (mathematical logic) Is-ought problem Explanation Phenomenon Reality Consistency Knowledge Parsimony Formal proof Formal system Theorem Rigour Theoria Cosmos Theion Analysis Prediction Subject matter Understanding Art Science Fact Semantics Syntax (logic) Natural language Logic Reason Sentence (linguistics) Statement Interpretation (logic) Explanatory power Model theory Closure (mathematics) Rule of inference Axiom Abstraction Arithmetic Geometry Probability Gödel's incompleteness theorems Natural number Recursively enumerable set Truth Idea Empiricism Metatheorem Statement (logic) Ethics