Nonaxiomatizable theory

математика неаксиоматизируемая теория

Англо-русский научно-технический словарь