Zaslat SMS: Principles of mathematical logic