27 Пересечение теорий

Почему пересечение теорий определяется попарными дизъюнкциями аксиом? Как выражается утверждение о совместности пересечения теорий через утверждения о совместности исходныых теорий?
Back to Top