Axiom: Schnittaxiom