[Helm]

Hi CLAsp.

Your 'synthetic' truths are what classic philosophy refers to as axioms, I think. And, yeah, they and more advanced suppositions (your analytic truths?) are verifiable in different ways. In fact, axioms are not verifiable logically. They are considered emyrically evident. Logical axioms create certain self-referential fallacies and as any postmodernist would tell you any argument with logical foundation is invalid at certain levels of description due to this. All this is very basic I don't know what you need to know.