- 927 名前：Antigod mailto:sage [2022/01/08(土) 09:00:30.40 .net]
- In most of mathematics as it is practiced,
the incompleteness and paradoxes of the underlying formal theories never played a role anyway,
and in those branches in which they do or
whose formalization attempts would run the risk of forming inconsistent theories
(such as logic and category theory),
they may be treated carefully.
数学の�
