Kaomojis
📐⛓️➡️
Copy
#formal logic
#logical structure
#rules of inference
#deduction steps
#axioms
#proof theory
#rigor
#logical system
#entailment
A→B∴C
Copy
#formal logic
#inference
#modus ponens
#syllogism
#logical consequence
#proof theory
#symbolic logic
∀∃∴✍️
Copy
#mathematical logic
#proof theory
#set theory
#formal methods
#foundations of computer science
#discrete mathematics
∀∃→
Copy
#pure mathematics
#mathematical logic
#formal systems
#quantifiers
#implication arrow
#proof theory
#first-order logic
#foundations of mathematics
🔍[∑∫∞]
Copy
#metamathematics
#mathematical logic
#foundations of mathematics
#analyzing math
#proof theory
#model theory
#formal systems
🧱⇒🏛️
Copy
#metamathematics
#foundations of mathematics
#axioms
#proof theory
#mathematical logic
#axiomatic systems
#formal proof
🥇PA<🥈SOA
Copy
#second order arithmetic
#peano arithmetic
#z2
#pa
#SOA
#mathematical logic
#proof theory
#formal system strength
ε3️⃣🪜
Copy
#epsilon number
#ordinal hierarchy
#limit ordinal
#transfinite arithmetic
#veblen hierarchy
#proof theory
#mathematical logic
📜{∀∃}⊢✅
Copy
#proof theory
#axiomatic system
#deduction
#inference rules
#theorems
#formal proof
#syntax
#logical consequence
#first-order axioms
⊢P
Copy
#logical assertion
#propositional logic
#turnstile
#proof theory
#formal statement
#formal logic #logical structure #rules of inference #deduction steps #axioms #proof theory #rigor #logical system #entailment