Twierdzenie Hahna-Kołmogorowa – twierdzenie teorii miary umożliwiające skonstruowanie miary przez uprzednie zdefiniowanie przeliczalnie addytywnej funkcji zbiorów (o nieujemnych wartościach rzeczywistych znikającej na zbiorze pustym) na względnie małej algebrze zbiorów, gdzie stosunkowo łatwo jest zapewnić σ-addytywność, a następnie rozszerzenie jej za pomocą tego twierdzenia na potencjalnie dużo większą σ-algebrę; jeżeli funkcja przeliczalnie addytywna jest σ-skończona, to istnieje dokładnie jedno takie rozszerzenie.
Twierdzenia tego jako pierwszy dowiódł Maurice Fréchet, jednak nie korzystał on z twierdzenia Carathéodory’ego. Współczesny dowód przedstawili równocześnie Hans Hahn i Andriej Kołmogorow. Z tego powodu w literaturze twierdzenie to opatrywane bywa nazwiskiem Hahna (nie mylić z twierdzeniem Hahna o rozkładzie) lub Hahna-Kołmogorowa. Często nie przypisuje mu się jednak nazwiska i nazywa po prostu twierdzeniem o rozszerzeniu;