#quantifiers #mathematical logic #for all #there exists #formal systems #set theory #discrete math #formal quantification