Mathematical truths like '2+2=4' are intrinsic to abstract objects; excluding them assumes a non-neu...
This proposition has not been edited since the history system was added.