  Primitive recursion, mu-recursion, universal object and universe theories,
complexity controlled iteration, code evaluation, soundness, decidability,
G\"odel incompleteness theorems, inconsistency provability for set theory,
constructive consistency.
