User blog comment:DontDrinkH20/H-Boogol-Boogol: Hopefully a very big non-salad number/@comment-31966679-20180818002902/@comment-35392788-20180819122814

To be fair, he actually used some advanced terminology relevant to what he was talking about; model theory (of which I will admit to only know the basics). It's not as foolish as these "extension functions" which try to diagonalize over FOST & Co., which is as stupid as trying to find a logic in \(42,\Omega_{I+42},\text{Canada},-1^i\).

You can't just make that comparison.