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 & einem (∃x)~fx.