[whatshisface]

I would contend that A -> B can be true even if A is not true or more relevantly to this discussion if A is unknown. That's math's version of objective truth, where "A" is filled by our various axioms and rules of inference.

[macrolocal]

In ~300 BCE, Euclid decides to work with morphisms not objects.