Comment by constantcrying

But surely there are uncomputable objects which you can make mathematical statements about. How do you encode them into a type signature?