Anatta: type theory, formal logic and mathematics can help us understand each other better

Discussion
11

I suppose you mean the tetralemma explained via formal language? Okay, I can write it up but would you prefer it as part of this thread or a sep one? :pray: