也叫“分球定理”巴拿赫-塔斯基悖论（或称豪斯道夫-巴拿赫-塔斯基悖论，又名“分球怪论”），是一条数学定理。

1924年， 斯特凡·巴拿赫和阿尔弗莱德·塔斯基首次提出这一定理。这一定理指出在选择公理成立的情况下可以将一个三维实心球分成有限（不勒贝格可测的）部分，然后仅仅通过旋转和平移到其他地方重新组合，就可以组成两个半径和原来相同的完整的球。巴拿赫和塔斯基提出这一定理原意是想拒绝选择公理，但该证明很自然，因此数学家认为这仅意味着选择公理可以导致少数令人惊讶和反直觉的结果。