spin kuroki

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

Web 2.0 is terrible for productivity.