Парадокс Ба́наха — Та́рского (также называется парадоксом удвоения шара и парадоксом Хаусдо́рфа — Банаха — Тарского) — теорема в теории множеств, утверждающая, что трёхмерный шар равносоставлен двум своим копиям. Два подмножества евклидова пространства называются равносоставленными, если одно можно разбить на конечное число (не обязательно связных) попарно непересекающихся частей, передвинуть их и составить из них второе (в промежуточном положении части могут пересекаться, а в начальном и конечном не могут).