How to write this in first order peano arithmetic

Printable View