Yes, check out the Paris-Harrington theorem's use of indicators as one way to do this. Generally speaking, however, there is no general constructive method for all types of true but unprovable formulas that I'm aware of.
Peter Gerdes
- 3k
- 16
- 18