I guess it is mostly a matter of taste, like whether one favors functional progr...

amelius on July 31, 2015 | parent | context | favorite | on: Set Theory and Foundations of Mathematics

I guess it is mostly a matter of taste, like whether one favors functional programming or imperative programming. Set theory is being used successfully in formal systems, so in principle there is nothing wrong with it.