text: Die formalisierte Theorie bezeichnet in der klassischen Mathematik ein Verfahren, wobei die Sätze einer Theorie durch logische Schlüsse aus den Axiomen abgeleitet werden. Zur Formalisierung der Axiome und der Beweise benutzt man dabei die Umgangssprache.