EGAVE

impredicativity

Meaning

  1. noun A self-referencing definition.

Similar words

superreflexivity autoduality inductive definition strict implication recursion transitivity interreducibility zero-order logic implicand idempotent

Often followed by

of is in

Save “impredicativity” to learn later