1
Chứng minh 2 + 2 = 2 * 2 (và tương tự)
Xuất ra một poof chính thức đầy đủ của các tuyên bố như 1+2=3, 2+2=2*(1+1)v.v. Giới thiệu Nếu bạn biết số học Peano, bạn có thể bỏ qua phần này. Đây là cách chúng tôi xác định số tự nhiên: (Axiom 1) 0 is a number (Axiom 2) If `x` …