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