Formal reducibility - natural deduction system and axiom system