Significance tests, p-values, and falsificationism

Blockquote
The statement is true if certain well-established usages are assumed. It doesn’t get more explictily non-absolute than when a conditional must be met in order to even be able to evaluate the truth status of a statement.

So you aren’t even willing to stipulate to the fundamentals of arithmetic for the purposes of this discussion? Do you really believe that the is some other model of arithmetic that can be constructed?