Armstrong Axiom System