If the undecidability of a statement is a meta-mathematical theorem, then perhaps the existence of statements which are undecidable and non provably undecidable is a meta-meta-mathematical theorem. See the post: [Are there statements that are undecidable but not provably undecidable][1] and its positive answer. [1]: http://math.stackexchange.com/questions/65248/are-there-statements-that-are-undecidable-but-not-provably-undecidable