Paradoxes Between Truth and Proof