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