📜{∀∃}⊢✅

#proof theory #axiomatic system #deduction #inference rules #theorems #formal proof #syntax #logical consequence #first-order axioms