Thus it is possible to exclude counterintuitive results like the Banach–Tarski paradox which are provable in ZFC.
Έτσι, είναι δυνατόν να αποκλειστούν αντιφατικά αποτελέσματα, όπως το παράδοξο Banach-Tarski που είναι αποδείξιμο σε ZFC.