Absolutely! I'm just not sure if we have chosen the right notation to describe our ideas. There are many interesting developments in formalizing mathematics and

Absolutely! I'm just not sure if we have chosen the right notation to describe our ideas. There are many interesting developments in formalizing mathematics and I hope that the field of mathematics is gravitating towards such solutions.