Topic: Well founded
Morenikeji Neri (Aug 22 2018 at 15:03):
Is there a proof that if a set is well founded it contains a minimal element?
Kenny Lau (Aug 22 2018 at 15:07):
Morenikeji Neri (Aug 22 2018 at 15:18):
Kevin Buzzard (Aug 22 2018 at 15:46):
What about the empty set :P
Johan Commelin (Aug 22 2018 at 16:30):
said Ofer Gabber
Patrick Massot (Aug 22 2018 at 18:24):
Ofer is asking less questions of that type now that he is sixty. But he is still less lenient than Lean.
Last updated: May 18 2021 at 08:14 UTC