24/11/29 23:59:43.08 nAfZUXZT.net
それと
型の一番基礎のところに
ある数学的思考領域を指し示す型（例えばe）を置くようだけど
その数学的思考の領域とは集合？クラス？
でも
クラスじゃないよな
だってeの指し示す領域がクラスなら
e→eという型の指し示す数学的対象って
クラスからクラスへのクラス関数てことになるけど
クラス関数の全体を考えることは矛盾なので
それは数学的思考領域を形成し得ないてことで
e→eというものは型になり得ない
となると
eの指し示す数学的思考の領域Dとは集合ということになって
e→eという型の指し示す数学的思考領域はD^Dという集合
けど
これてつまんないじゃん