Αποστολή με SMS: The foundations of Frege's logic