Title: Logic in elementary mathematics