Математика — это высокоуровневая логика и низкоуровневая лингвистика