Множества, логика, отображения

Логические символы и кванторы, операции над множествами, отображения, инъекция/сюръекция/биекция, счётные и несчётные множества, метод доказательств.