[nextaccountic]

But why?? ncatlab contains formalizations of many branches of philosophy, such as this on Hegel

https://ncatlab.org/nlab/show/Science+of+Logic