Constructivist logic works great if you interpret it as saying which statements can be proven, or computed, but I would say it doesn’t hold up when interpreted as showing which statements are true (given your axioms). It’s therefore not really appropriate for mathematics, unless you want to look at mathematics in the light of its computational or proof-theoretic properties.
Constructivist logic works great if you interpret it as saying which statements can be proven, or computed, but I would say it doesn’t hold up when interpreted as showing which statements are true (given your axioms). It’s therefore not really appropriate for mathematics, unless you want to look at mathematics in the light of its computational or proof-theoretic properties.