0020132人目の素数さん垢版 | 大砲2023/11/17(金) 00:54:40.20ID:DIngYup/ 勝者は数学者が普通に使ってる論理的だけどゆるくしか形式化してない数学やろ 他のシステムは全部その数学を用いて形式化するわけだし