„Peano-aritmetika” változatai közötti eltérés
| [ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
174. sor:
<center><math>\scriptstyle{PA\vdash \forall z(\forall x (\forall y(y<x \rightarrow F(y))\rightarrow F(x))\rightarrow F(z))}</math></center>
Ennek az éremnek a másik oldala (kontrapozícióval) az ún. ''legkisebb szám elve'', miszerint ha egy tulajdonság igaz minden számra, akkor van legkisebb szám is, amelyre igaz.<ref>{{Opcit|n =George Boolos|c =The Logic of Provability |k = |f = 2 |sz = |o =23}}</ref>
<center><math>\scriptstyle{PA\vdash \forall z (F(z)\rightarrow \exists x(F(x)\land \forall y(y<x \rightarrow \lnot F(y))))}</math></center>
| |||