抽象化で証明できる命題は増えないだろ (52ﾚｽ)
抽象化で証明できる命題は増えないだろ http://rio2016.5ch.net/test/read.cgi/math/1738689837/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
5: １３２人目の素数さん [sage] 2025/02/05(水) 06:48:42.73 ID:kKoXjxuf 逆に選択公理がなくても証明できる定理は？ https://rio2016.5ch.net/test/read.cgi/math/1737647189/ http://rio2016.5ch.net/test/read.cgi/math/1738689837/5
19: １３２人目の素数さん [] 2025/02/06(木) 11:24:31.73 ID:+rfomp58 一般化も抽象化も形式的には具体的な集合(または圏)Xに対してそれを含む集合(圏)に考察を移すことだよな 証明できる命題は増えるよな http://rio2016.5ch.net/test/read.cgi/math/1738689837/19
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.315s*