• Skip to primary navigation
  • Skip to content
  • Skip to footer
Umut Özge Graduate School of Informatics, METU
  • Posts
  • Categories
  • Tags

    Definition: Addition

    1. \(\forall x. x+0=x\).
    2. \(\forall x,y. x+s(y) = s(x + y)\).

    Updated: 2026-03-14

    Previous Next
    © 2026 Umut Özge. Powered by Jekyll & Minimal Mistakes.