I definitely root with SALVIATI. I learned basic set theory - -including bijection, injection and surjection- in primary school, and never understood why mathematicians cared about defining things in such way until I studied formal semantics in college.