Kaomojis

🧐📝⊢✅

#formal logic #proof #deduction #reasoning #theorem proving #conclusion #inference rules #turnstile #validity #soundness

📜{∀∃}⊢✅

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