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

ZFC以外の公理系使っ� ..

2:１３２人目の素数さん
21/01/07 21:45:27.35 dT4ETgiT.net
公理の数だけ→公理系の数だけ

3:１３２人目の素数さん
21/01/07 21:46:58.07 jc/4OAS+.net
こんな良い加減なやつは氷を語る視界はない！

4:１３２人目の素数さん
21/01/07 23:51:03.53 RXbBGEYq.net
お前じゃあ濃度使わないの？

5:１３２人目の素数さん
21/01/08 15:49:55.49 APsWr2tp.net
ADは？

6:１３２人目の素数さん
21/01/09 01:30:29.49 zvpEi4HN.net
集合の圏とか使うには圏論関係の公理も必要
ZFCにはクラスがないから

7:１３２人目の素数さん
21/01/09 05:50:49.59 FI0EBsxE.net
もやしコスモじゃない小さい宇宙。