Title: Logic and set theory