Diskussion:Nicoles lemma

AlefWiki
Version från den 2 februari 2015 kl. 10.28 av Nicole Hedblom (diskussion | bidrag)
(skillnad) ← Äldre version | Nuvarande version (skillnad) | Nyare version → (skillnad)
Hoppa till navigering Hoppa till sök

Detta lemma har problem. varje steg är i detta läge ej ordentligt förklarat. Just nu är lemmats förklaring ekvivalent med detta bevis:

Bevis på att alla bilar är gula.
(1) Det finns gula bilar.
(2) Jag har sett en gul bil.
Av (1) och (2) följer det att alla bilar är gula.

Fix it.
//Mattias Aronsson Adler


Jag förklarar inte lemmar överhuvudtaget utan jag säger bara att man kan dividera med oändligheten och sen bestämmer jag vad som händer om man gör det för olika tal.

//Nicole Hedblom