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+1tiTf = {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:

      titji,jt_i equiv t_j quad forall i,j

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