Quoting Paul Loya: "Warning: I've seen the following theorem called the Carathéodory extension theorem, the Carathéodory-Fréchet extension theorem, the Carathéodory-Hopf extension theorem, the Hopf extension theorem, the Hahn-Kolmogorov extension theorem, and many others that I can't remember! We shall simply call it Extension Theorem. However, I read in Folland's book (p. 41) that the theorem is originally due to Maurice René Fréchet (1878–1973) who proved it in 1924."Paul Loya (page 33).