Globularにおける定理と証明とは何でしょうか？ 実は、この問には明確な答はありません。強いて言えば、あなたが定理だと感じたものは定理だろうし、あなたが証明だと思いたいものは証明でしょう。曖昧過ぎますか？ -- しかしでは、Globularの外の世界で定理…