Вот например готическое что-то :
1. ∀x ∈ 𝔈: 𝔉(x) ↪ ℌ(x) ⇔ (𝔉 ⊂ ℌ) ∧ (∀x (𝔉(x) → ℌ(x)))
2. ∄x ∈ 𝔈: 𝔊(x) ∧ ℌ(x) ≡ 𝔊 ∩ ℌ = ∅ ≡ ∀x (𝔊(x) ⇒ ¬ℌ(x))
3. ∀x: 𝔉(x) ⊻ 𝔊(x) ⇔ ¬(𝔉(x) ∧ 𝔊(x)) ⇔ 𝔉 ⟂ 𝔊
4. ∃x ∈ 𝔈: ℌ(x) ∧ ¬𝔉(x) ∧ ¬𝔊(x) ∧ ∀y ((𝔉(y) ∨ 𝔊(y)) ⊅ ℌ(y))
5. (∃x 𝔉(x)) ∧ (∃x 𝔊(x)) ∧ (∃x ¬ℌ(x) ∧ ¬𝔊(x))
6. ∀x: (𝔉(x) → ℌ(x)) ∧ (𝔊(x) → ¬ℌ(x)) ⇒ (𝔉(x) ↔ ¬𝔊(x)) (при условии ℌ(x))