Planen var ett uttryck för Hilberts finitism, enligt vilken användningen av transfinita bevismetoder skulle rättfärdigas genom att giltigheten av de finita påståenden som kunde bevisas härmed visades. Den av Hilbert grundade bevisteorin syftade bl.a. till att förverkliga denna plan, som dock måste revideras, då det i samband med det arbete