In conjunction with the earlier work of Gödel, this showed that both of these statements are logically independent of the ZF axioms: these statements can be neither proved nor disproved from these axioms.
У поєднанні з більш ранньою роботою Геделя, це показало, що обидва ці судження є логічно незалежними від аксіом ZF: ці судження не можуть бути ні доведені, ні спростовані з цих аксіом.