4月18日 刘力恺做了题为《Gentzen's Consistency Proof》的报告，介绍了Gentzen对PA一致性的证明。
Slides: ../../docs/20230508221236673395.pdf
