List questions from peano-axioms | MathQa

Proof of "if $x<y$, then $xz<yz$"

Published on 12 Jan 2025 - 23:32

Prove if $x<y$ then $x+z<y+z$

Published on 12 Jan 2025 - 17:51

For each $x,y,z∈\mathbb N$, if $x<y$ then $x+z<y+z$

Published on 12 Jan 2025 - 23:33

For each $x,y∈\mathbb N$, if $x≤y$ and $y≤x$, then $x=y$

Published on 12 Jan 2025 - 9:58

PA2 (Peano Arithmetic in 2º order logic and categoricty)

Published on 12 Jan 2025 - 23:33

Is $ConPA \rightarrow \neg \Box \neg ConPA$ true in the standard model of arithmetic?

Published on 12 Jan 2025 - 23:36

End extension models of $I\Delta_0$

Published on 12 Jan 2025 - 9:58

Why is there a need for ordinal analysis?

Published on 12 Jan 2025 - 9:58

A subtle point regarding the axiom of induction

Published on 12 Jan 2025 - 9:58

Stuck on GEB chapter 9 - is b a MU number? is b a TNT number?

Published on 12 Jan 2025 - 9:58