A Very Independent Axiom System