In this video njwildberger argues that the idea that we can uniquely factor any integer into primes is problematic. His central argument appears to involve skepticism that we can say anything meaningful about very large numbers even if we can define them in some sense.
It seems crazy to doubt such a core part of mathematics. But is there some self-consistent world where his argument about very large numbers makes sense? Or is there another flaw in his reasoning?