metamathematics

Метаматематика метаматематика (наука о принципах логико-математических систем)