A Sharp (Axiom)