meta theorem

[ریاضیات] متاقضیه، ماوراء قضیه
[ریاضیات] فوق قضیه