User:Gregbard/metalogic
- α-consistency
- 1-1 correspondence
- Analysis
- Argument (mathematics)
- Atomic formula
- Axiom of choice
- Axiom
- Binary connective
- Boolean algebra
- Bound variable
- Bracket (mathematics)
- Cantor's diagonal argument
- Cantor's theorem
- Cardinal number
- Cardinality
- Categoricity
- Church's theorem
- Church's thesis
- Closed formal system
- Closed term
- Closed well-formed formula
- Compactness theorem
- Complement (of a set)
- Completeness
- Composition
- Computable function
- Computing
- Consistency
- Consistent set
- Continuum hypothesis
- Continuum
- Countable set
- Decidability
- Decidable formula
- Decidable set
- Decidable system
- Deduction theorem
- Deductive closure
- Deductive system
- Definability
- Definition
- Denumerable sequence
- Denumerable set
- Diagonal argument
- Disjunctive normal form
- Domain
- Dyadic connective
- Effective enumeration
- Effective method
- Effective proof procedure
- Elementary theorem
- Empty domain
- Empty set
- Enumeration theorem
- Enumeration
- Epsilon
- Existential quantifier
- Extension
- False
- Finitary formal system
- Finite set
- Finite strong model
- Finite weak model
- Finiteness theorem
- First order language
- First order monadic predicate logic
- First order predicate logic
- First order theory
- Formal derivation
- Formal language
- Formal proof
- Formal proof
- Formal system of arithmetic
- Formal system
- Formal theorem
- Formation rule
- Formula (logic)
- Free variable
- Function
- General recursive function
- Generalized continuum hypothesis
- Gödel numbering
- Gödel's second incompleteness theorem
- Gödel's theorems
- Higher order predicate
- Identity
- If
- Immediate consequence
- Independence
- Individual constant
- Individual variable
- Infinitary system
- Infinite set
- Interpolation theorem
- Isomorphism of models
- k-validity
- Lindenbaum's lemma
- Linear continuum
- Löb's theorem
- Logical conjunction
- Logical connective
- Logical consequence
- Logical constant
- Logical disjunction
- Logical validity
- Logically valid formula
- Lowenheim-Skolem theorem
- Material implication
- Mathematical induction
- Mathematical theories
- Maximal p-consistent set
- m-consistent
- Mention
- Metalanguage
- Metatheorem
- Model theoretically consistent
- Model theory
- Model
- Modus ponens
- Monadic connective
- Natural deduction system
- Natural number
- Negation completeness
- Negation
- Non-Cantorian set theory
- Non-computable function
- Non-standard analysis
- Power set
- Set
- Set theory
- Satisfiability
- Skolem normal form
- Skolem paradox
- Standard first order logic
- Strong completeness
- Strong mathematical induction
- Weak mathematical induction
- Strong representation of a function
- Subset
- Substitution rule
- Successor function
- Sum function
- Symbol (formal)
- Syntax (logic)
- Syntactic completeness
- Syntactic consequence
- Tautology (logic)
- Tautological schema
- Term
- Theorem
- Token
- Type-token distinction