ZFC以外の公理系使ってるやついないよね

[0001 １３２人目の素数さん 2021/01/07(木) 21:44:23.02 ID:dT4ETgiT]

公理の数だけ数学があるはずだけどみんなZFCしか研究してないよね

[0002 １３２人目の素数さん 2021/01/07(木) 21:45:27.35 ID:dT4ETgiT]

公理の数だけ→公理系の数だけ

[0003 １３２人目の素数さん 2021/01/07(木) 21:46:58.07 ID:jc/4OAS+]

こんな良い加減なやつは氷を語る視界はない！

[0004 １３２人目の素数さん 2021/01/07(木) 23:51:03.53 ID:RXbBGEYq]

お前じゃあ濃度使わないの？

[0005 １３２人目の素数さん 2021/01/08(金) 15:49:55.49 ID:APsWr2tp]

ADは？

[0006 １３２人目の素数さん 2021/01/09(土) 01:30:29.49 ID:zvpEi4HN]

集合の圏とか使うには圏論関係の公理も必要
ZFCにはクラスがないから

[0007 １３２人目の素数さん 2021/01/09(土) 05:50:49.59 ID:FI0EBsxE]

もやしコスモじゃない小さい宇宙。