The basic thesis validates something I have long observed concerning the dichotomy in the 'truths' of mathematics.
I used to simply attribute it to the British and continental divide associated with Newton and Leibniz. Not having the broader training of a philosophy education, I see that that was an oversimplification.
People simply see things differently. Every "I don't believe that" followed by a new and improved version of the same leads to another. This is seen between Aristotle and Plato. But, there seems to be an overall tendency for the systems to show a natural division.
I look forward to watching a number of the videos.