Create RavGroupTheory

Dies ist (eine textnahe Umformulierung von, Konstrukte wie den Konjunktiv habe ich ersetzt) laut Ravs Artikel ein Beispiel für einen in der "informellen Logik mathematischer Beweise" dargestellten Beweis, der "keine formale Logik" verwendet. Siehe Rav "Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematician's Proof Practices", S. 304/305.