Posts

Showing posts with the label mathematical practice

The (in)consistency of PA and consensus in mathematics