1
Kanıtlamak 2 + 2 = 2 * 2 (ve benzeri)
Çıktı gibi bu tür ifadelerin tam biçimsel puf 1+2=3, 2+2=2*(1+1)vb Introuction Peano Aritmetiği biliyorsanız, muhtemelen bu bölümü atlayabilirsiniz. Doğal Sayıları şu şekilde tanımlıyoruz: (Axiom 1) 0 is a number (Axiom 2) If `x` is a number, the `S(x)`, the successor of `x`, is a number. Dolayısıyla, örneğin S(S(S(0)))bir sayıdır. Kodunuzdaki …