Math Logic: Теорема о декартовом произведении счетных множеств. Счетные множества и их свойства примеры