Metatheorems Proof theory Theorems in the foundations of mathematics
Proof theory Theorems in the foundations of mathematics
Cut-elimination theorem
Proof theory
Intuitionism Proof theory
Double-negation translation
Arguments Model theory Proof theory
Soundness
Herbrand's theorem
Herbrand's theorem Not to be confused with Herbrand–Ribet theorem or Herbrand's theorem…
Ver teorema Deductive reasoning Metatheorems Proof theory
Deduction theorem
Deduction theorem In mathematical logic, a deduction theorem is a metatheorem that…
Ver teorema