Wikipédia

„Peano-aritmetika” változatai közötti eltérés

Laptörténet interaktív böngészése
[ellenőrzött változat][ellenőrzött változat]
← Régebbi szerkesztésÚjabb szerkesztés →
Tartalom törölve Tartalom hozzáadva
VizuálisWikiszöveges
235. sor:
Ezekkel kapcsolatos tételek:
* a <math>\scriptstyle{2}</math> a legkisebb felbonthatatlan:
<center>::<math>\scriptstyle{PA \vdash (Felbonthatatlan(2) \land \forall x (Felbonthatatlan(x)\rightarrow 2 \leq x ))}</math> </center>
* Mindenkit oszt egy felbonthatatlan:
<center>::<math>\scriptstyle{PA \vdash \forall x (x>1 \rightarrow \exists p (Irreducible(p)\land p|x ))}</math> </center>
* Pontosan akkor relatív prím két szám, ha nincs közös felbonthatatlan osztójuk.
<center> ::<math>\scriptstyle{PA\vdash RelativPrim(a,b)\leftrightarrow \lnot \exists x (Felbonthatatlan (x) \land (x|a \land x|b) )}</math></center>
* Relatív prímeknek van szomszédos többszörösük.
<center>::<math>\scriptstyle{PA\vdash \forall a\forall b (((a>1 \land b>1)\land RelativelyPrime(a,b)) \rightarrow \exists x \exists y ax+1=by)}</math> </center>
* Minden felbonthatatlan szám prímszám.
<center> ::<math>\scriptstyle{PA\vdash \forall x (Felbonthatatlan(x)\rightarrow Prime (x))}</math></center>
 
=== Monusz ===
A lap eredeti címe: „https://hu.wikipedia.org/wiki/Peano-aritmetika”