Опубликованный пакет / CLIR

Metamath set.mm: аксиомы ZFC, исчисление высказываний и логика предикатов — закреплённые утверждения