Logic and set theory