In my mind, the practice of mathematics is the practice of distinguishing between the “world of is” and the “world of is not;” if something is mathematically provable, it is; if something is mathematically disprovable it is not.
In my mind, the practice of mathematics is the practice of distinguishing between the “world of is” and the “world of is not;” if something is mathematically provable, it is; if something is mathematically disprovable it is not.