という事実を、有限の立場と呼ばれる確かな方法を用いて証明しようとする計画である。