When one attempts to solve problems in this class, it makes no difference whether ZF or ZFC is employed if the only question is the existence of a proof.
Када се покуша решавање проблема из ове класе, нема разлике да ли се претпоставља ЗФ или ЗФИ (Зермело-Френкел са аксиомом избора), ако је поставља само питање постојања доказа.