- 193 名前：１３２人目の素数さん [2020/04/05(日) 08:06:25 ID:XL/AxZYN.net]
- >>183
世間一般で行われてる数学でやってることだし
命題論理の完全性定理から意味論の正しさと証明論と正しさは一致するよ
どうしても証明図見たいというのであれば前原昭二の数学基礎論でも読めばいいんじゃないか
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
Inter-universal geometry と ABC 予想 46
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef