Пропонується деяке розширення та формалізація класичної теорії множин у вигляді конструктуивної її версії (CST) в якій вводиться новий рівень - рівень об"єктів, які є складовими для створення множин; концепція класу об"єктів, що дозволяє у певному сенсіформалізувати класифікацію самих об"єктів.