spin kuroki

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

New Theme

Heavily modified the Roboturner theme. I’m liking it for now but my notorius OCD for stuff like this means I will probably change it soon.