For example, ZF + DC + BP is consistent, if ZF is.
Για παράδειγμα, ZF + DC + BP είναι συνεπής, αν ZF είναι.