0077132人目の素数さん垢版 | 大砲2023/11/30(木) 19:35:03.56ID:cs8MUWrU >>74 それは良い反論かもしれないね、本当に成り立つかは別として 集合論、圏論、述語論理をただ形式的に走らせても数学的に価値のある内容は 必ずしも出てこない。それはその通りだろう