There will also be primitive terms which are not defined, as they cannot be defined without circularity.
There will also be primitive terms. These primitive terms are not defined. They cannot be defined without circularity.