sentences:  Kuratowski's free set theorem
  
  Kuratowski's free set theorem, named after Kazimierz Kuratowski, is a result of set theory, an area of mathematics.It is a result which has been largely forgotten for almost 50 years, but has been applied recently in solving several lattice theory problems, such as the congruence lattice problem.