zfcと連続体仮説を仮定したうえで、これらの体は順序同型で一意的であるということが証明できる。