The Idea that modern formal systems are a European Invention is a common misconception, but nevertheless wrong. Depending on your definition of "modern formal systems" they were either first invented by the Babylonians, in India or in China but most certainly not in Europe, which at the time was at a much earlier state of development.