spin kuroki

Any effectively generated theory capable of expressing elementary arithmetic cannot be both consistent and complete.

Horrible Turn

This is really really good. Just about as good as the original. As many people have said, it’s surprising it’s not official.