„Peano-aritmetika” változatai közötti eltérés
| [nem ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
x|y helyett x|z. Ez a tranzitív tulajdonság lényege; csak el lett írva. Címkék: Vizuális szerkesztés Mobilról szerkesztett Mobil web szerkesztés |
Ha nem r' lenne, ugyanaz lenne a reláció, mint az állítás bal oldalán, az is igaz lenne, de akkor kétszer állítanánk ugyanazt, ellenben nem ez a "feladat". Címkék: Vizuális szerkesztés Mobilról szerkesztett Mobil web szerkesztés |
||
295. sor:
Ez a maradékos osztásért felelős tétel azt mondja ki, hogy a maradékos osztás létezik és egyértelmű:
<center><math>\scriptstyle{PA \vdash \forall x(d\neq 0 \rightarrow \exists q \exists r (((x= q\cdot d + r \land r<d) \land \forall q' \forall r' ((x=(q' \cdot d)+r' \land r'<d)\rightarrow (q=q' \land r=r')))))}</math></center>
Ez alapján bevezethetünk egy relációt:
| |||