Kreuzworträtsel-Frage: aus Axiomen gewonnener Lehrsatz
THEOREM
: Lösung für aus Axiomen gewonnener Lehrsatz mit 7 Buchstaben (7 Buchstaben)