But when we refuse to assert that there are classes, we must not be supposed to be asserting dogmatically that there are none.
В 1931 году Гёдель доказывал что никакая формализованная система логики не может быть адекватной базой математики.