Полный англо-русский словарь
Метаматематика метаматематика (наука о принципах логико-математических систем)
metamathematics