Gödel argued that mathematical intuition directly perceives abstract truths that formal proof system...