fnake писал(а):
Что то у вас концы с концами не сходятся. То вы в примечании пишете, что
-- иррациональное, то потом зачем то предполагаете, что оно натуральное.
Для определения зависимости между элементами множеств необходимо, чтобы в §1 и §2 БСМ определялось так:
. А в §3, где нужно доказать, что
не могут быть одновременно натуральными числами необходимо, чтобы БСМ определялось так:
. Это, на мой взгляд, не противоречит условию ТФ,что
не могут быть одновременно натуральными числами. Я предлагаю написать так: В. Бессистемное Множество (БСМ)
,
. Прошу учесть ,что при док-ве возникает много условий, необходимых для док-ва ТФ, поэтому не откажусь от совета, если мое определение неточно или здесь противоречие.