#set theory #foundations of mathematics #axioms #membership #subsets #quantifiers #formal systems #model theory