Inter-universal geometry と ABC予想 (応援スレ) 77

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次 1-新

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

267: 11/05(水)14:04 ID:vZYtBEGo(1/3) AAS
＞高階論者（と称するド素人）
＞「（一般）人の思考は一階論理に縛られない」

数学者
「数学の理論は、一階述語論理上の公理系として表現され
　定理は一階述語論理によって公理から証明される」