Telefona gönder: Classical mathematical logic