Even unprovable truths follow necessarily from axioms, so claiming they're 'not contained' conflates...
This proposition has not been edited since the history system was added.