الهندسة الجبرية, تاريخ الرياضيات, رياضيات, منطق رياضي, نظرية المجموعاتنظرية مجموعات تارسكي-غروتينديك (Tarski–Grothendieck set theory)