{{#ev:youtube |TkfhVwchF-Q }}
Universality should NOT be researched at the level of language as Languages, but at that of 'ideal' objects on which invariants are defined. {{#ev:youtube |TkfhVwchF-Q|||||start=4124 }}