Telefona gönder: First Order Mathematical Logic