Kart for Matematikk med et menneskelig ansikt: Et naturalistisk og wittgensteinansk rammeverk for mengdeteori