I can see that it hasn't been committed to in a year. What I mean is, are you still working on this project? If so, I'd like to offer some of my own suggestions, as I think it's a pretty neat idea (axiomatizing your worldview as rigorously as possible).
It would be nice to hear your suggestions! I stopped furthening the idea in this repo because I wasn't getting feedback from anyone, so I felt it was too prone to having inconsistencies that I wouldn't notice.
I can see that it hasn't been committed to in a year. What I mean is, are you still working on this project? If so, I'd like to offer some of my own suggestions, as I think it's a pretty neat idea (axiomatizing your worldview as rigorously as possible).