わしは数学屋ではないのぢゃ。形式論理と数学基礎論ぐらいしか見てはおらんのぢゃ。すまんのう。