Användarbidrag
Från Rilpedia
För Rasmusblanck (diskussion | loggar)
- 19 juni 2007 kl. 18.12 (skillnad | historik) Nm Henkinsats (senaste)
- 19 juni 2007 kl. 18.12 (skillnad | historik) Nm Rossersats (senaste)
- 19 juni 2007 kl. 17.36 (skillnad | historik) N Fixpunktssatsen (Ny sida: Låt <math>PA</math> vara Peanos aritmetik. Fixpunktssatsen för <math>PA</math> är följande påstående: :För varje formel <math>\varphi(x)</math> finns en sats <ma...) (senaste)
- 19 juni 2007 kl. 17.11 (skillnad | historik) Nm Fullständighet (teori) (senaste)
