Моделью системы, или списка, аксиом называется всякая структура, удовлетворяющая каждой из аксиом системы.
155
«Вслед за У. В. Куайном мы принимаем этот этимологически более правильный термин вместо распространённого в настоящее время термина unary (унарный)» [7, прим. 29].
