ここからハイパー論理に。
今回は、新集合論としてのＹＪ構築に向けた準備として。
もう少し、∅の基本思想について蘊蓄を傾けておきましょうか。
∅にラベルを付与して、）∅（ＺＦ）などと階層表現すれば。
∅パラドックスを回避するべく、議論開始できます。
（あくまでも、議論ですよ。
それで解決するとは思わないように。
絶対に無理だから。）
しかし、そもそも、素朴集合論は言うに及ばず。
公理的集合論でも、∅にラベル付けて高精細化をしてないの。
だから、何でもありの記号∅を採用してしまった。
議論のスタート地点にすら立てて無いということ。
階層化という言葉は使ってきましたが。
それは、Ｖを構成する階層化の話です。
∅ラベルの話じゃありませんよ。
タイプなんていう用語を使ったこともあったけど。