Без заголовка

Объяснять математику не через теоретико-множественный подход - это очень правильно на мой взгляд. А то теор множества больно уж запутанным становится при переходе к (дурной) бесконечности. Хотя как программер я вообще бы приветствовал конструктивную математику, но возможно это будет слишком геморно. С другой стороны, правильный выбор аксиом поможет.