>>14171150There are more not things(abstractions) than there are things because not things don't take up space or resources... Your system could account for how your house has no planes in it, your yard has no gold bars in it, and your friend list has no aliens in it. That's all just useless bullshit.
Is it really that hard to understand that a system being able to account for those things is not necessary or desireable, especially when that added function comes at the cost of literally invalidating other parts of the system (indefinite/undefined answers).
Not to mention, you have this crazy thing called consciousness(sorry if I'm being presumptuous), which allows you to take a step back and analyze things outside of a formal system. You literally don't need an equation to tell you a box is empty.
Why do you seem to find it a point of virtue to walk around with a system acting in the form of a crutch? Math is not and should not be some "be all end all" thing. It's a tool, and as we all know, a literal screw driver is typically better for screwing in screws than a multitool.
