Hacker News new | ask | show | jobs
by Straw 351 days ago
Don't you want the weakest (ie makes the fewest assumptions) theory that works?
1 comments
SAI_Peregrinus 350 days ago
Yes, which is why ZFC gets used. NBG & MK are stronger and occasionally used, but ZFC being weaker meant it got more popular since it's almost always good enough.
link