A proof tells us where to concentrate our doubts.
Life is a constant evolution and learning process.
要么数学对人类思维来说过于庞大,要么人类思维不仅仅是机器。