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