If a paradigm shift is needed to get formal mathematical explanation of agents, abstractions, latent knowledge, subjective experience, and moral reasoning, let there be the Aprillion's axiom: The concept of usefulness is useful.
sure, seems reasonable. I'll add a comment in the prelude.rs file "Todo: usefulness". sound good or was there more to your meaning than that?
To be continued in the form of a science fiction story Unnatural Abstractions.
Paradigms do not need to be axiomatic. This kind of thing sems to really suffer to be formulated as an axiom. Observation or insight makes more sense.
See the Humor tag ¯\_(ツ)_/¯
Humor
If a paradigm shift is needed to get formal mathematical explanation of agents, abstractions, latent knowledge, subjective experience, and moral reasoning, let there be the Aprillion's axiom: The concept of usefulness is useful.