Yeah, that’s a good point; one some level, any purely logical system always has to start with certain axioms that you can’t prove within that system, and in the real world that’s probably even more true.
I guess, ideally, you would want to be able to at least identify which of your ideas are axioms, and keep an eye on them in some sense to make sure that at least they don’t end up conflicting with other axioms?
Yeah, that’s a good point; one some level, any purely logical system always has to start with certain axioms that you can’t prove within that system, and in the real world that’s probably even more true.
I guess, ideally, you would want to be able to at least identify which of your ideas are axioms, and keep an eye on them in some sense to make sure that at least they don’t end up conflicting with other axioms?