Motivated proof in diagonal arguments

An undergraduate project by Huaiyuan Shen, Summer 2025

Abstract: We develop an informal concept of “motivated proof” and consider it in the context of classical diagonal arguments from logic and set theory. We hope this contributes to the development of a more formal notion of motivated proof, to advance automatic theorem proving and to enhancing our understanding of mathematical reasoning processes.