まあ、素人どうしで蘊蓄を語り合うの図かな　；ｐ）
もっとも いまどき、数学者で基礎論プロを名乗る人もすくないかも