Hacker News new | ask | show | jobs
by xamuel 121 days ago
"The main axiom we introduce [...] states that for any organism in any species, either the species contains at most finitely many descendants of that organism, or else the species contains at most finitely many non-descendants of that organism."