Inter-universal geometry と ABC予想 42

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 42 (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

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

392: 2019/11/24(日)16:46:10.27 ID:mAtckp1M(1/2) AAS
文科省報告書叩き粘着約1名は無視ねー

455(2): 2019/11/26(火)12:35:20.27 ID:+pBV0dHm(1) AAS
進展あったか見に来たけどないのね

あと知ったかで用語だけ並べて解説した気になってる>>449もまだいるんだな

541: 2019/11/30(土)13:32:39.27 ID:WirizWv7(1) AAS
>>537-538 正解

673: 2019/12/05(木)07:00:30.27 ID:vEgJBXXW(1/4) AAS
>>672
ラッセルのパラドクスを避けるだけなら
内包公理を分出公理に弱めれば十分
（ZFではより強力な置換公理を使ってるが内包公理よりは弱いから
　ラッセルのパラドクスは導けない）