17809 | Gödel showed that the syntactic approach to the infinite is of limited value |

17810 | The study of mathematical foundations needs new non-mathematical concepts |

17811 | The natural conception of points ducks the problem of naming or constructing each point |