This type of Set Theory is based on the idea that all mathematical constructions must be constructible by a procedure of finite computations.
This type of Set Theory is based on the idea that all mathematical constructions must be constructible by a procedure of finite computations.