Text this: Elementary mathematics; a logical approach