Re:BusyBeaver(6) Is Quite Large
by Straw on Monday June 30, 2025 @06:18PM
(#44428529)
Don't you want the weakest (ie makes the fewest assumptions) theory that works?
[ Parent
| on HN ]
Re:BusyBeaver(6) Is Quite Large
by SAI_Peregrinus on Tuesday July 01, 2025 @10:14PM
(#44439682)
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.