Necessary truths are knowable a priori by definition—they don't depend on empirical discovery of par...
This proposition has not been edited since the history system was added.