Tractarian Expressions and their Use in Constructive Mathematics