«元數學»

元數學 в энциклопедиях

Поделиться

Большой китайско-русский словарь

yuánshùxué

мат. теория доказательств (в математической логике)