1. construct the natural numbers N using the axioms of peano arithmetic or similar 2. construct the integers Z as equivalence classes of ordered pairs (a, b) of natural numbers (representing the…

Posters: QiaochuYuan. QiaochuYuan

8 likes recorded by the source corpus.

Topics: Math

View Post: https://x.com/QiaochuYuan/status/1579567845952094208