The setting for incompleteness

• Mathematical entity:
• Natural numbers (non-negative integers)
• Operations: addition, multiplication
• Relations: equality, ordering relation (“n < m”)
• Formal language:
• First-order predicate logic
• Peano axioms for arithmetic