証明論について

抄録

D. Hilbert によって創始された「証明論」の目的は無矛盾性証明ですが、その企図についてお話します, cf. [2], [3]。それから、現在までのこの方向での「証明論」の進展について触れてから、Hilbert が与えた無矛盾性証明の指針に従って得られた W. Ackermann [1] の証明を説明します。