Methodological note: This appendix records a personal, AI-assisted research exploration at the intersection of theology, computer science and mathematical logic. The formulas below therefore have different statuses: some state established mathematical results; others propose notation or conjectural research structures; and the theological interpretations require arguments beyond mathematics. AI helped translate my questions into candidate formal language and locate relevant fields, but its fluency is not evidence.
The question that interrupted the formalization
The main essay ended with a possible research…
Continue reading
