- cohnate
- contensive
- contravaid
- deducibility
- definiens
- dialectican
- eliminability
- falschood
- finitism
- function
- interdeducible
- intuotional
- iump
- midsequent
- metamathematics
- metamathematical
- metatheory
- methodological
- metalogic
- metasystem
- multiplace
- non-recursive
- non-reflexive
- omega-consistency
- patological
- polysyllogisme
- postulational
- process
- pseudo-sentence
- quasi-syntax
- quantifier
- recursiveness
- replaceability
- satisfiability
- succeedent
- substituend
- tautologival
- undecidability
- unsolvability