>ZFC+(V=L)
ZF+(V=L) に訂正
上記においてCは定理。
なぜならすべての集合は構成可能、選択関数は集合だから構成可能、実数の順序も構成可能。