Logic and sets