Kaomojis
📜{∀∃}⊢✅
Copy
#proof theory
#axiomatic system
#deduction
#inference rules
#theorems
#formal proof
#syntax
#logical consequence
#first-order axioms
#proof theory #axiomatic system #deduction #inference rules #theorems #formal proof #syntax #logical consequence #first-order axioms