«元数学»

元数学 в энциклопедиях

Поделиться

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

yuánshùxué

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