О зависимости аксиомы $В6$ от других аксиом системы Веrnays'a–Gobel'a

Достигается упрощение системы аксиом Bernays'a–Godel'a путем исключения из этой системы аксиомы $В6$.