The stronger versions of Fubini's theorem on a product of two unit intervals with Lebesgue measure, where the function is no longer assumed to be measurable but merely that the two iterated integrals are well defined and exist, are independent of the standard Zermelo–Fraenkel axioms of set theory. The continuum hypothesis and Martin's axiom both imply that there exists a function on the unit square whose iterated integrals are not equal, while showed that it is consistent with ZFC that a strong Fubini-type theorem for [0, 1] does hold, and whenever the two iterated integrals exist they are equal. See List of statements undecidable in ZFC.