yyyy/mm/dd @Zahlangabeheft
直観主義おじさん
-
直観主義,背理法と否定の導入
16198pv 33 1 user -
集合論のオススメ教科書からゲーデルTLまで
26244pv 27 36 users -
保存的拡大と矛盾律
4272pv 2
-
ブルバキの論理体系と「選択公理」
10366pv 39 7 users 1 -
「無矛盾を表す文」とクライゼルの注意について
5335pv 2 2 users -
悲しみの選択公理
5361pv 20