magfrump comments on Logical uncertainty, kind of. A proposal, at least.

[magfrump]

Well it can prove “the number of structures for n=4 is at least 1.”