Ich denke der Entwurf ist nicht so gut. Das mit der Menge der Sätze trifft nicht das, worum es in einem Kalkül geht. Dort werden Kalkülformeln abgeleitet. Wenn man beweisen kann, dass alle Figuren (Formeln) die in dem Kalkül abgeleitet werden können (auch) ohne eine bestimmte Ableitungsregel abgeleitet werden können, dann ist die Regel gültig in dem Kalkül. -- Pacogo7 23:46, 1. Feb. 2010 (CET)