>>758
そして記号論理学('24)が始まるんだろ。見てないけど。