Αποστολή με SMS: Introductory formal logic of mathematics