spin kuroki RSS

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

Archive

Feb
6th
Sat
permalink