Which Consistency Statement? Made-Canonicity and the Intensionality of Gödel's Second Incompleteness Theorem

Gödel’s second incompleteness theorem is sensitive to how axioms are presented: extensionallyequivalent axiomatizations yield consistency statements of different proof-theoretic status. Theformal separation of canonical from deviant cases is established; what is missing is a criterionthat explains why the separation falls where it does. This essay proposes one — made-canonicity — grounded in an asymmetry between what has been produced and the producingthat exceeds it, articulated through Nishida Kitarō’s “from the made to the making.” Thecriterion automatically yields the Hilbert–Bernays–Löb derivability conditions asconsequences, classifies five self-referential patterns, and interprets the strict potentialist’smodal operator.

Authors

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-09-21
DOI
https://doi.org/10.5281/zenodo.22870552
Primary Topic
Philosophy and Theoretical Science
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
preprint

Which Consistency Statement? Made-Canonicity and the Intensionality of Gödel's Second Incompleteness Theorem

Franny Philos Sophia
Zenodo (CERN European Organization for Nuclear Research)
Philosophy and Theoretical Science
preprint

Which Consistency Statement? Made-Canonicity and the Intensionality of Gödel's Second Incompleteness Theorem

Franny Philos Sophia
preprint en

Abstract

Gödel’s second incompleteness theorem is sensitive to how axioms are presented: extensionallyequivalent axiomatizations yield consistency statements of different proof-theoretic status. Theformal separation of canonical from deviant cases is established; what is missing is a criterionthat explains why the separation falls where it does. This essay proposes one — made-canonicity — grounded in an asymmetry between what has been produced and the producingthat exceeds it, articulated through Nishida Kitarō’s “from the made to the making.” Thecriterion automatically yields the Hilbert–Bernays–Löb derivability conditions asconsequences, classifies five self-referential patterns, and interprets the strict potentialist’smodal operator.

Zenodo (CERN European Organization for Nuclear Research)
Philosophy and Theoretical Science
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.