The Boolean-valued models of ZFC are a related subject.
Η άλγεβρα Boole μοντέλα της ZFC είναι ένα συναφές θέμα.