metalogic

[ریاضیات] فوق منطق، شبه منطق، ماوراء منطق