T1 – Tiempo fundamental – Axiomas de

Axiomas del Tiempo Fundamental (Tf) en la teoría ArXe

  1. Axioma de Sucesión

    • El tiempo fundamental (Tf) se compone de unidades discretas que se suceden unas a otras.

    • Formalización:

      Tf={t1,t2,t3,… },ti+1≻tiTf = {t_1, t_2, t_3, dots}, quad t_{i+1} succ t_i

      donde “≻succ” expresa relación de sucesión.

  2. Axioma de Indistinción

    • Las unidades del tiempo fundamental son indistinguibles entre sí.

    • Formalización:

      ti≡tj∀i,jt_i equiv t_j quad forall i,j

      Es decir: no existe predicado que diferencie un instante fundamental de otro.