Учить нас этому, видимо, уже не будут, а разобраться хочется. Подскажите, пожалуйста, хороший современный учебник по математической логике. Хочется:
1. Хотя бы в общих чертах понять, что там происходит "до сотворения теории множеств".
2. Перестать плавать в понятиях "доказуемость", "истинность", и т.п.
3. Ну и вообще быть культурным человеком.
Добавлено спустя 5 минут 9 секунд:
Чувствую себя примерно вот так:
