New synthetic theorems derived from axioms would demonstrate that the formalization captures essenti...
This proposition has not been edited since the history system was added.