>>81
数学基礎論(とくに証明論)の初歩の初歩をどうぞ