أسس الرياضيات, الرياضيات, المنطق الرياضي, نظرية المجموعاتنظرية مجموعة سكوت-بوتر (Scott–Potter set theory)