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

6 posts were split to a new topic: Tetralemma: General Discussion