#pure mathematics #mathematical logic #formal systems #quantifiers #implication arrow #proof theory #first-order logic #foundations of mathematics