Формируем наш мир - Конструктивный взгляд (gonchar) wrote,
Формируем наш мир - Конструктивный взгляд
gonchar

Category:

Что-то переклинило (математика) ...

(навеяно постом об обучении математике) :)

Вопрос к знающим математику.
Как доказать, что любое подмножество множества натуральных чисел N или конечно, или равномощно N?

Дополню:
да, мы знаем, что любое множество, не равномощное конечному подмножеству N, содержит в себе подмножество, равномощное N.
Понятно, из этого знания очевидно вытекает доказательство, о котором я спросил.

Но вот какая минимальная аксиоматика нужна и для первого утверждения, и для второго?

На самом деле, вопрос не чепуховый... при некоторых ответах из него вытекает интересная штука.
------------------------------------------
Эта запись - копия из более правильного журнала: https://gonchar.dreamwidth.org/463919.html Лучше вести обсуждение в Дриме. Специальной регистрации там не требуется. Хотя и зарегистрироваться - дело пары минут.
Напишите комментарий туда. Сейчас там комментариев - comment count unavailable.
Tags: вопрос
Subscribe
  • Post a new comment

    Error

    default userpic

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 0 comments