/ Consistency Proof / Continuous Lifting / Countable Ordinal / Definable Ideals / Definable set / Dichotomy Theorem / Independence Theorem / Linearly Disjoint / Logical Fictions / Mathematical logic / MATHEMATICS / Logic / model theory applications / Order Arithmetic / Philosophical Logic / Proof theory / Quantifier Elimination / Ramified Theory / Recursive Ordinal / Recursively Enumerable / Revision Functions / set theory foundations / Turing degree / Uncountable Cardinality / Vicious Circle Principle