历史, 数学, 数理逻辑, 证明论, 逻辑学

根岑的相容性证明 (Gentzen’s consistency proof)

, , , ,