K助教授の授業は

"Rejetced part of Brouwer's dissertation"について･･･のはずが、いつの間にかPAにおけるStandard modelとNonstandard modelでは「証明」自身が異なる（nonstandard modelの中では長さが超準的自然数になるようなnonstandardな証明が存在する）こととそれによる不完全性定理のモデル論的証明（BoolosやK助教授本人による）の話に。面白い話ではあるが、話が脱線しすぎ。