Many philosophers and mathematicians use classical and intuitionistic logic in different domains wit...
This proposition has not been edited since the history system was added.