謝辞：

この講演の冒頭でH. Huwig and A. PoigneのA note on inconsistencies caused by fixpoints in a cartesian closed categoryを引用しましたが、ヒビルテさんの2006年11月のエントリーでこの論文を知り、またと2007年2月のエントリーも参考にさせて頂きました。ご紹介ありがとうございます。個人的には、包括原理を持つ縮約規則のない論理上の集合論は、彼らの言う "New foundation" の候補の一角ぐらいには位置出来るのではないかと希望しています。