僕は、明らかなスパム以外は付けられたコメントを削除しません。少し前に次のようなコメントが付けられました（『縮約（縮退）自然数』氏による）。「述語論理とインデックス付き圏と限量随伴性」へのコメント： ≪…トポスがあれば（高階の）述語論理の入念な…