fnake писал(а):
   Что то у вас концы с концами не сходятся. То вы в примечании пишете, что  

 -- иррациональное, то потом зачем то предполагаете, что оно натуральное. 
 Для определения зависимости между элементами множеств   необходимо, чтобы  в §1 и §2  БСМ определялось так:  

.  А в §3, где нужно доказать, что 

  не могут быть одновременно  натуральными числами необходимо, чтобы   БСМ определялось так:  

. Это, на мой взгляд, не противоречит условию ТФ,что 

  не могут быть одновременно  натуральными числами. Я предлагаю написать так: В. Бессистемное Множество (БСМ) 

 , 

. Прошу учесть ,что при док-ве возникает много условий, необходимых для док-ва ТФ, поэтому не откажусь  от совета, если мое определение неточно или здесь противоречие.