axiom scheme

Система аксиом