Fermi paradox
Michael H. Hart published in 1975 a detailed examination of the paradox, which has since become a theoretical reference point for much of the research into what is now sometimes known as the Fermi–Hart paradox. Geoffrey A. Landis prefers that name on the grounds that "while Fermi is credited with first asking the question, Hart was the first to do a rigorous analysis showing that the problem is not trivial, and also the first to publish his results". Robert H. Gray argues that the term "Fermi paradox" is a misnomer, since in his view it is neither a paradox nor due to Fermi; he instead prefers the name Hart–Tipler argument, acknowledging Michael Hart as its originator, but also the substantial contribution of Frank J. Tipler in extending Hart's arguments.
Curry's paradox
In Zermelo–Fraenkel set theory the axiom of unrestricted comprehension is replaced with a group of axioms that allow construction of sets. So Curry's paradox cannot be stated in ZFC. ZFC evolved in response to Russell's paradox.