Tag: recursive axioms

Recursively Axiomatizable Theory

A theory with a recursive set of axioms that can derive all…

Bossmind