Applicability Operator Approach to Mathematical Proofs
Jason Kodish · HAL (Le Centre pour la Communication Scientifique Directe) · 2024
Teaching proofs of theorems and encouraging students to both comprehend written proofsand originate their own can at times be a difficult undertaking. This, is due, in partto the lack of a single unifying process by which one can approach mathematical proofs.In this paper a method using set theory as a foundation is presented.