We know Completeness in the Theory of Types belongs here, but no one has told their story yet — no summary, no contributions, no map of who they influenced or were influenced by.
Sign in to illuminate this entry.