所以集合在数学角度上可被严格形式化吗？

是的，集合论可以被严格形式化，而且在现代数学中，集合论是一个基础而又重要的分支。集合论的形式化使得我们能够在数学中使用集合的概念和方法，并且能够精确地描述和证明各种数学定理。

在集合论的形式化中，我们使用公理来描述集合的性质和运算。集合论的公理系统通常包括空集公理、外延公理、配对公理、并集公理、幂集公理、选择公理等。

通过这些公理，我们可以定义集合的基本运算，如并、交、补、子集等，并且可以定义各种集合的性质和关系，如有限集、无限集、离散集、连续集等。这些定义和公理构成了集合论的基础，它们可以被用来证明各种数学定理，如代数学中的群论、拓扑学中的紧性定理等。

因此，集合论可以被严格形式化，它提供了一种精确而又通用的数学语言，使得我们能够在数学中使用集合的概念和方法，并且能够精确地描述和证明各种数学定理。