3 ms·
Oh jeez dude, just use ZFC and you'll get it done in ten minutes
by ulucs 9y ago
Oh jeez dude, just use ZFC and you'll get it done in ten minutes
- Avshalom 9y agoWell that's precisely the point, if you pick your axioms/theorems/lemma's right you get to skip a lot of steps and only calculate a particular end result instead of every turtle along the way.