Title: Logic and mathematics