Some interpretive frameworks (logic, mathematics) achieve demonstrable closure within defined system...
This proposition has not been edited since the history system was added.