O papel 63 provou o teorema Alpha: se uma realidade reflexiva não trivial existe, então existe algo que é o necessário fundamento ontológico pré-categorial de sua atualidade. O presente artigo desdobra as consequências. Provamos que tudo o que existe é fundamentado em Alpha, e caracterizamos Alpha estruturalmente: Alpha não é fundamentado por outro de mesmo nível, não é de nível de objeto, não é temporalizado, primordial, não nulo e não mera infinidade. O resultado é uma teoria formal de existência fundamentada: dizer que um item admissível da realidade reflexiva existe é dizer que sua atualidade é fundamentada em Alpha. Verificado por máquina, fechamento-reflexivo-lean: 0 desculpe, 2 axiomas estruturais explícitos. Limite de confiança. Os axiomas estruturais são nomeados em; eles embalam regressão e moralidades "mesmo nível não pode ser suficiente" em forma tipada—não são rótulos ociosos.
Nova Spivack (Sun,) estudou esta questão.