[CG] Re: Logical Graphs • Formal Development

Logical Graphs • Formal Development 8 • https://inquiryintoinquiry.com/2023/09/30/logical-graphs-formal-development… Exemplary Proofs — Using no more than the axioms and theorems recorded so far, it is possible to prove a multitude of much more complex theorems. A couple of all‑time favorites are linked below. Peirce's Law • https://inquiryintoinquiry.com/2008/10/06/peirces-law/ Praeclarum Theorema • https://inquiryintoinquiry.com/2008/10/05/praeclarum-theorema/ Regards, Jon cc: https://www.academia.edu/community/V03DO5 cc: https://mathstodon.xyz/@Inquiry/111070230310739613