Als formales System bezeichne ich ein Kalkül. Formal bezeichnet dabei, dass die Anwendung der Regeln ohne Kenntnis der Bedeutung der Symbole also rein syntaktisch möglich ist.