Mathematics and logic have applicability conditions that are structural yet arguably non-empirical; ...
This proposition has not been edited since the history system was added.