&quot;Formal mathematics has no concept of absolute truth&quot;<p>This is false. The axioms don&#x27;t have to be true. You can still talk about their implications in absolute terms.<p>&quot;Assuming a=0 implies a=0&quot; is absolutely true. Regardless of whether <i>a</i> actually is 0.