Im Artikel steht, dass es noch nicht klar ist, ob es eine projektive Ebene der Ordnung 12 gibt. Wenn ich die Definition der Ordnung richtig verstanden habe, hätte diese Ebene dann 157 Geraden und 157 Punkte. Nun müsste man jeder Geraden 13 Punkte zuordnen und checken, ob die Zuordnung die Axiome einer projektiven Ebene erfüllt. Viele dieser Zuordnungen sind äquivalent, ob ich jetzt zum Beispiel zwei Geraden "vertausche" spielt keine Rolle, auch kann ich oBdA davon ausgehen, dass Gerade 1 aus den ersten 13 Punkten besteht und Gerade 2 aus dem Punkt 1 und den Punkten 14-25. Es fallen also sehr viele Möglichkeiten weg. Ist es denn für die heutigen Computer immer noch unmöglich, die Möglichkeiten, die hier übrig bleiben, zu überprüfen? -- Jobu0101 09:19, 14. Aug. 2011 (CEST)