spin kuroki

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

flipping typical

USEFUL! let’s you see your text in a bunch of different standardish fonts at once.