Zaslat SMS: Set theory, Logic and their limitations /