Основания математики

Множества, логика, отображения: язык, на котором сформулирована остальная математика.