First, I am not talking about constructivism, where the only mathematical objects thought to be capable of proof are those that can actually be constructed by a finite number of steps. This approach leaves out all infinities, such as cardinal and ordinal infinite numbers, or as Georg Cantor named them transfinite numbers. It also leaves … More Can Mathematics Be Constructed?