Arxe Logic

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 = \{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:

     $$t_i \equiv t_j \quad \forall i,j$$

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