Le projet Fondation assume un certain nombre de propositions comme étant très probablement vraies. Le modèle dans son ensemble se doit d'être construit à partir de ces assertions, dans leur sens et sans les contredire. Ces dernières se doivent d'être un nombre limité, conformément au principe de minimisation du coût épistémique des règles élémentaires. Ces propositions doivent être ordonnées en fonction de la crédence que notre modèle a dans chacune d'elles, dans l'objectif d'être réflectif sur le bien-fondé de certaines implications et de mieux décider dans le cas d'une éventuelle contradiction locale. Ces dernières sont les suivantes :
A. [[Déterminisme Laplacien]] D. [[Espace-temps discret]] L. [[Localité des interactions]] G. [[Globalité des interactions]] R. [[Finitude spatiale universelle]]
Ces assertions, lorsqu'elles sont bien comprises et bien appliquées, causent un grand nombre de bouleversements épistémiques. Elles réfutent certaines théories, participent à la démonstration d'autres et sont à l'origine de quelques modèles très utiles pour décrire l'univers, et ce dans des domaines très largement diversifiés. Ci-dessous sont listées les conséquences des assertions de Fondation.
F. (D) ^ (L) -> [[Information totale finie]] DL-CU. (A) ^ (D) ^ (L) -> [[Univers calculable localement]] FG-CU. (A) ^ (D) ^ (F) ^ (G) -> [[Univers globalement calculable]]
- (DL-CU) v (FG-CU) -> [[Fonctionnalisme computationnel]]
- (DL-CU) v (FG-CU) -> [[Simulation interne incomplète]]
- (DL-CU) -> [[Vérité nécessairement constructible]]
- (A) ^ (F) -> [[Univers temporellement récurrent]]