reducibility axiom

Лог. аксиома сводимости