User blog comment:Naruyoko/Values of Rayo's Function for Small Inputs/@comment-35470197-20190528222448

It seems wrong, because \begin{eqnarray*} (\exists a(a \in b) \land \neg \exists a((a \in b \land \exists c(c \in a)))) \end{eqnarray*} names \(1\).