We develop a Logic for Inductive Definitions (LID), a self-generating system built from scratch and based on minimal logic, the only underlying notion being that of a computable functional on partial continuous objects. We sketch the reali…

暖かい日、初夏の陽気。気温の変化について行けない。 本日は出張、講演を聞く。その後会食、22時半に帰宅。