independence of axioms

Мат. независимость аксиом