Ну очевидно, что существуют конечные множества, даже если предпорядок не является частичным порядком
А существуют ли бесконечные множества? Я так припоминаю, для их появления в ZF требуется аксиома бесконечности... 😏
Чтобы моделировать математику на только онтологически конечной основе (это чтобы отличить от гильбертова финитизма, где требуются конечные методы), нужно постараться. Нельсон вот для этого придумал гиперфинитные множества, сам он онтологический финитист.
Смотря что воображать моделью системы
Обсуждают сегодня