Text this: Constructibility and Mathematical Existence