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