＞n番目の素数が決定不可能であるという事実から、
＞素数全体の集合の濃度をlog卍とかく。
それが「log卍」の定義なのであれば、そこに書かれている「log」という記号列は、
形式的な ただの記号であり、通常のlogとは全く関係がないことになる。
ならば、>>94における

＞log 卍 ＝ 卍
＞この対数をはずすと、次のようになる。
＞卍　＝ ２^卍

この部分は、別途証明が必要になる。もっと明示的に言えば

「 log 卍 ＝ 卍 ならば 卍　＝ ２^卍 」…(*)

という命題の証明が必要になる。君は>>98で

＞log卍
＞これは「良い意味での記号の濫用」
＞であって普段使う意味のそのままの意味ではありません。
＞当然、卍を実数に置き換えても成り立たない。

と言っていたが、まさにそういうことだ。
記号の見た目がlogだからと言って、通常の実数におけるlog(x)のように、
やすやすと「対数をはずすと」なんていう操作は出来ない。
もし出来るのなら、すなわち、もし(*)が成り立つのであれば、その証明が必要。
では、(*)の証明をお願いしたい。