Random sentence
Language:
Set theory
Rings
Posets
Valued rings
Propositional logic
Peano arithmetic
Depth:
first order
Generate new sentence
grey (language):
| blue (coherent):
∧ ∨ ∃
| purple (first order):
¬ → ↔ ∀