Der Gegensatz zu der Behauptung “A gilt für alle Kardinalzahlen” ist nun: eine der Gleichungen u, v, w sei falsch. Und die entsprechende Frage sucht keine Entscheidung zwischen einem (x).fx und einem (Ex).non-fx.