Class AbstractAxiomValue<V>