# Differences

This shows you the differences between two versions of the page.

Both sides previous revision Previous revision | |||

natural_numbers [2015/02/18 20:36] nikolaj |
natural_numbers [2015/02/18 20:36] (current) nikolaj |
||
---|---|---|---|

Line 30: | Line 30: | ||

>$∀a. ∃b. ∀x. ∀y. (a+b)·(a+b) \neq SS((SSx)·(SSy))$ | >$∀a. ∃b. ∀x. ∀y. (a+b)·(a+b) \neq SS((SSx)·(SSy))$ | ||

>Roughly: "Are there infinitely many primes of the form $c^2-2$ for some $c\in\mathbb N$?" ($c=a+b$), | >Roughly: "Are there infinitely many primes of the form $c^2-2$ for some $c\in\mathbb N$?" ($c=a+b$), | ||

- | >were "prime" is being captured as not being of the form $X\cdot Y$ (for some $X:=x+2\ge 2$ and $Y:=y+2\ge 2$. | + | >were "prime" is being captured as not being of the form $X\cdot Y$ (for some $X:=x+2\ge 2$ and $Y:=y+2\ge 2$). |

== Towards arithmetic == | == Towards arithmetic == |