⌊⌊ (x)f1x = f2x⌋⌋ Darf man sagen „es gibt im Fall f1x = f2x keinen speziellen Beweis eines Satzes von der Form f1x ≠ f2x”? Nein! In diesem Sinne wäre nämlich ~(∃x)f1x ≠ f2x nicht die Anweisung auf einen Beweis.