Takahashi, T. .; Iwama, F. ON THE PROOF OF THE THEOREMS OF FOUNDATIONS OF GEOMETRY USING ISABELLE/HOL. JCIA 2022, 1, 45-69.