1950 彭妮洛普·麦迪(Penelope Maddy):集合论自然主义