Believing a mathematical proposition