metalevel
validities
definition
definition
decidability
decidability