formal system
or
formal theory,
n.
other terms for
formal calculus
.
