formal systems

1 article · All tags

• Gödel's Incompleteness Theorems: What They Prove
  Gödel's incompleteness theorems show that no consistent formal system for basic arithmetic can prove every truth about numbers, or prove its own consistency.