Even if logic is mind-independent, grasping that '7+5=12' follows from axioms requires cognitive int...
This proposition has not been edited since the history system was added.