Telefona gönder: A tour through mathematical logic