&gt; mathematical truth has nothing to do with philosophical truth<p>This is not entirely true. Philosophy of math has a lot of influence on mathematical truth. Intuitionism, for example, is a strong one. Intuitionism&#x27;s influence isn&#x27;t just in mathematical truth, but also in programming languages.