近年頻繁にみられる数学基礎論、圏論をめぐる壮絶な論争。
これらは、スレッドのタイトルと無関係な議論が繰り返され、
本来の話題を阻害しています。
圏や不完全性定理が言及される場合、このスレッドのURLをはって誘導して下さい。