Formal mathematics is based on provable truth.
Τα τυπικά μαθηματικά βασίζονται σε αποδείξιμη αλήθεια.