The irreducibility argument illicitly conflates a practical epistemic limitation with a principled semantic thesis, making the conclusion about demonstrative irreducibility unwarranted.
?Rate how convincing each reason is below to see the overall strength.