Title: Logic in Elementary Mathematics