Terminology of Minimal Type Theory

Wolfram Mathworld: Axiom
An axiom is a proposition regarded as self-evidently true without proof.

Wolfram Mathworld: Theorem
A theorem is a statement that can be demonstrated to be true by accepted mathematical operations and arguments.

I  define an {a priori fact} as an expression X of language L that has been assigned the semantic property of True.

Copyright 2018 Pete Olcott