▼ 
Set of symbols

▼ 
Propositional connective

▼ 
Set of propositional connectives

▼ 
Complete set of propositional connectives

▼ 
Set of propositional symbols

▼ 
Set of predicate symbols

▼ 
Settheoretic alphabet

▼ 
Settheoretic language

▼ 
Settheoretic expression

▼ 
Settheoretic formula

▼ 
Class term
