Ich würde sagen, die Schlussregeln, die man benötigt, um von den Axiomen zur Konklusio zu kommen, sind Bestandteil des Beweises. Aber lassen wir das mal beiseite. Was genau ist Dir denn unklar? Formalisierbarkeit? Allquantor oder Induktive Definition? Heizer 01:46, 11. Dez. 2003 (CET)