If the class defined by means of abstraction is defined extensionally with the help of individual names, then it is in its turn an individual concept individual concepts and universal concepts with arguments like the following of Carnap's:. .