Y. Deguchi, Late Nishida and Dialetheism, 2017.

. Yokoshu, Deepening Japan-China Relation by Thinking and Dialogue: Role of Philosophy Bridging over the Boundaries, Proceedings of the 5th Philosophy Forum of Japan and China, pp.359-385

. Japan, Institute of Humanities

G. Gentzen, Die Widerspruchsfreiheit der reinen Zahlentheorie, Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie, vol.39, pp.494-565, 1935.

, Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, Neue Folge, vol.4, pp.19-44, 1969.

K. Gödel, Letter of Gödel to Bernays, eds. Kurt Gödel Collected Works, vol.IV: Correspondence A-G, pp.270-273, 1969.

J. Van-heijenoort, From Frege to Gödel: A Source Book in Mathematical Logic, pp.1879-1931, 1967.

D. Hilbert and P. Bernays, Grundlagen der Mathematik. I, Foundations of Mathematics I, v.1. pt, vol.1, 1968.

C. -. Wirth, J. Peter, M. Siekmann, D. Gabbay, and . Gabbay,

D. Hilbert, English translation by Stefan Bauer-Mengelberg in Heijenoort, Mathematische Annalen, vol.95, pp.485-94, 1926.

Y. Kawada and G. Takeuti, Shizensuron (The Theory of Natural Numbers): Kawade Shobo, 1951.

, From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s, 1998.

K. Nishida, Zen No Kenkyu (An Inquiry into the Good): Kodo Kan. translated into English under the title An Inquiry into the Good by, Jikaku Ni Okeru Chokkan To Hansei, 1911.

, Iwanami Shoten. translated into English under the title Intuition and Reflection in Self-Consciousness by, SUNY Series in Philosophy, 1987.

J. Suetsuna, Ronri to Suuri (Logic and Mathematics), 1947.

M. E. Szabo, The Collected Papers of Gerhard Gentzen, 55 of Studies in Logic and the Foundations of Mathematics, 1969.

S. Takahashi, Kegonkyo ni miryousareta suugakusya Suetsuna Joichi (Mathematician Suetsuna Joichi fascinated by Kegonkyo),' Gendai Mikkyo, vol.22, pp.135-152, 2011.

G. Takeuti, Keishikisyugi no tachiba kara II (From the point of view of formalism II),' Kagakukisoron Kenkyu, Proof Theory, 81 of Studies in Logic and the Foundations of Mathematics, Amsterdam, vol.23, pp.255-263, 1953.