Conceptualización: Axiomas

Axioma 1: Los conceptos Direct Metric e Indirect Metric son disjuntos.

(∀ m) ( Direct Metric(m)↔ ~ IndirectMetric(m) )

Axioma 2: Un método de cálculo que es parte de una métrica indirecta no es al mismo tiempo parte de un indicador y viceversa.

(∀ mc,m) ( Indirect Metric(m)∧ includes(m,mc)→ ~ (∃ i) ( Indicator(i)∧ includes (i,mc) )

(∀ mc,i) ( Indicator(i)∧ includes(i,mc)→ ~ (∃ m) ( Indirect Metric(m) includes (m,mc) )