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.