Title: Elementary Mathematics; a Logical Approach