User blog comment:DontDrinkH20/H-Boogol-Boogol Bit by bit: PART 2: Higher Order Logic/@comment-35470197-20180904134342/@comment-36540075-20180904141533

Actually, its a typo of "the set of all sets of subsets of M" but nice catch either way.

\(2^\mathbb{N}\) may not be the real \(2)\ (for example if it is a substructure of \(Q\)), so it is good for analytical minds just to be safe about it.

All the other typos are good catches. I cant fix them right now, but I will ASAP.

Thanks as always!