Minds can revise their axioms and logical frameworks dynamically; formal systems cannot, making the ...
This proposition has not been edited since the history system was added.