2023. március 14.
2021. december 22.
2020. április 18.
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".
+1
x|y helyett x|z. Ez a tranzitív tulajdonság lényege; csak el lett írva.
2019. október 27.
2019. október 7.
2019. szeptember 30.
2017. október 4.
2017. január 28.
2017. január 8.
2016. október 17.
2016. augusztus 6.
2015. november 21.
2013. június 28.
2013. március 8.
2013. január 11.
2011. július 11.
2010. szeptember 3.
2010. július 3.
2010. június 7.
2010. május 9.
2010. március 27.
2010. március 21.
aritmetikai hierarchia
+2 102
→Erős indukció és a legkisebb szám elve: legkisebb szám elve és a jólrendezettség.
+853
2010. március 16.
2010. március 15.
→Források
a+184
→\Sigma_1, \Pi, \Delta
a+90
→Prím-, Felbonthatatlan- és RelatívPrím predikátum
a−79
→\Sigma_1, \Pi, \Delta
+2
→maradékos osztás
a→Erős indukció és a legkisebb szám elve
a+91
→Jegyzetek
a→Rendezés
a→Rendezés
a+67
nincs szerkesztési összefoglaló
a+26
→Rendezés: ref indul
a+23
→Műveleti tulajdonságok
a+32
→Oszthatósági reláció
a+119
→Erős indukció és a legkisebb szám elve
+40
→Erős indukció és a legkisebb szám elve: transzfinit linkek
a+155
→Rendezés
a+150
→Műveleti tulajdonságok
a+164
→Peano-féle axiómák és axiómasémák
+135
→A Peano-aritmetika elsőrendű nyelve
a+67
→A Peano-aritmetika elsőrendű nyelve: jelölések
a+613
nincs szerkesztési összefoglaló
a−60