"A proof that algebraic topology can never have a non-self contradictory set of abelion groups." ###>"Une preuve que toute topologie algébrique est le seul ensemble contradictoire de groupes abéliens qu'elle peut contenir."