Inter-universal geometry と ABC 予想 46

Inter-universal geometry と ABC 予想 46at MATH

Inter-universal geometry と ABC 予想 46 - 暇つぶし2ch193:１３２人目の素数さん
20/04/05 08:06:25 XL/AxZYN.net
>>183
世間一般で行われてる数学でやってることだし
命題論理の完全性定理から意味論の正しさと証明論と正しさは一致するよ
どうしても証明図見たいというのであれば前原昭二の数学基礎論でも読めばいいんじゃないか

次ページ

続きを表示

1を表示