spin kuroki

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

110327

Shared by Y
Sometimes I love this blog.


110327