1. formalization (countable and uncountable)