Principia Orthogona · Vol IV · GTCT · Capítulo 1 · G6 LLC · Newark NJ · 2026

Os Sete Axiomas

Os fundamentos irredutíveis da Teoria do Contato Generativo Temporal

The irreducible foundations of the Generative Temporal Contact Theory

🇧🇷 Português — idioma primário 🇺🇸 English — tradução disponível →
7 axiomas · todos verificados em Lean 4 · 0 sorry · nenhum derivável dos outros
1
2
3
4
5
6
7
Volume IV · GTCT · Capítulo 1

Os Sete Axiomas · The Seven Axioms

Todos verificados em Lean 4 com Mathlib4 · 0 sorry em Chain_updated.lean · DOI 10.5281/zenodo.19117399

🇧🇷PortuguêsIdioma Primário
← Abertura Cap 1 · Os Sete Axiomas Cap 2 · O Campo de Contato →