>>374 368の答えは？yes?no?
集合論や証明論のロジシャンの意味で。