Infinite Regression of Unproved Proofs: the curse of natural thinking.