Diskussion:Nicoles lemma

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