It may or may not be relevant, but when we were discussing this offline the other day, you made a convincing case for those being a different type of axiom problem from the principle of induction. The principle of induction (as I think we all in fact agree) is inherently self-referential and any attempt to justify it assumes that it's true. (Whether or not that makes it inherently unjustifiable depends on one's definition of 'justifable', but that it, I think, a separate issue).
That's not true of the others, so I suspect that ciphergoth may not have the same problem with them.
no subject
It may or may not be relevant, but when we were discussing this offline the other day, you made a convincing case for those being a different type of axiom problem from the principle of induction. The principle of induction (as I think we all in fact agree) is inherently self-referential and any attempt to justify it assumes that it's true. (Whether or not that makes it inherently unjustifiable depends on one's definition of 'justifable', but that it, I think, a separate issue).
That's not true of the others, so I suspect that