Envoyer par SMS: Introductory formal logic of mathematics