Kaomojis

🧠/~=🅰️

#lindenbaum-tarski #mathematical logic #quotient structure #logical equivalence #abstract algebra #algebraic logic