Meta meta mathematical theories(mathoverflow.net)

http://mathoverflow.net/questions/159763/interesting-meta-meta-mathematical-theorems