>>425
話がおかしくなったのは
>>405 で 0=εorμor#φ とか
>>416 で ε∈0 μ∈0 #φ∈0 とか
書いたのが原因です。

> ε∈Monad(0)
ということなら了承できるし、この場合εは 0 としての性質を満たしていない。つまり
　ε∈0
でないことになる。

多分、この話は
　0^0 = 1
を否定するために
　ε,μ∈0 ⇒ ε^μ≠1
という例を示したかったんだと思うけれど、そのためには
　ε∈0
が証明できなければならない。