Linguagem, definições e teoremas

Os símbolos primitivos, as definições e as regras de inferência que articulam o cálculo teórico, apresentados de forma explícita para exame independente.

Cada teorema derivado é apresentado em passos enumerados, citando axiomas, definições e teoremas anteriores, para que a validade de cada inferência possa ser verificada.

O suporte analítico por inteligência artificial é utilizado apenas para verificação de consistência lógica e revisão de notação. Toda formulação, decisão teórica e conclusão permanece sob responsabilidade dos autores, que respondem pela integridade do registro e por sua correção.

A política de autoria identifica cada contribuição e mantém registro de versões, para que alterações nos fundamentos e na formulação possam ser acompanhadas e contestadas.

Conferência de inferências, checagem de notação e identificação de inconsistências, sem geração de resultados substantivos.

Autores respondem integralmente pelas hipóteses, pelas provas apresentadas e pelo conteúdo publicado.