noun
: a synthetic judgment or proposition that is known to be true on a priori grounds ; specifically : one that is factual but universally and necessarily true
the Kantian conception that the basic propositions of geometry and physics are synthetic a priori