Edward Nelson's Internal Set Theory enriches the basic language of mathematics to allow distinction ...