6. Равенство и принадлежность. Часть 3. Аксиома объемности. Обозначения

00:00 - вывод аксиомы объемности 06:24 - о терме-кванторе 11:04 - варианты аксиом Гильберта и объемности 18:45 - объекты теории: определение 21:47 - обозначения формул и термов Вывод акиомы объемности для формализма начальных множеств.