TM für EI: 5. Schnittprinzip, Kraftvektor, Axiome