So if I understand this correctly, this seems a bit similar to how math is built upon a defined set of axioms, which the rest is then derived from. Given that

So if I understand this correctly, this seems a bit similar to how math is built upon a defined set of axioms, which the rest is then derived from. Given that the axioms they choose are powerful enough, this approach should yield falsifiable results, because if a result turns out to be false, then one of the axioms will turn out not to apply.