The proof uses the method of forcing with Π 1 0 {\displaystyle \Pi _{1}^{0}} classes (Cooper 2004:330).
この定理の証明には Π 1 0 {\displaystyle \Pi _{1}^{0}} クラスによる強制法が用いられている（Cooper 2004:330）。