巴拿赫-塔斯基定理（或称豪斯多夫-巴拿赫-塔斯基定理，又名“分球怪论”），是一条数学定理。1924年斯特凡·巴拿赫和阿尔弗雷德·塔斯基首次提出这一定理。这一定理指出在选择公理成立的情况下，可以将一个三维实心球分成有限（不可测的）部分，然后仅仅通过旋转和平移到其他地方重新组合，就可以组成两个半径和原来相同的完整的球。巴拿赫和塔斯基提出这一定理原意是想拒绝选择公理，但该证明很自然，因此数学家认为这仅意味着选择公理可以导致少数令人惊讶和反直觉的结果。有些叙述中这条定理被看成是悖论，但是定理本身没有逻辑上不一致的地方，实际上不符合悖论的定义。巴拿赫-塔斯基定理（或称豪斯多夫-巴拿赫-塔斯基定理，又名“分球怪论”），是一条数学定理。1924年斯特凡·巴拿赫和阿尔弗雷德·塔斯基首次提出这一定理。这一定理指出在选择公理成立的情况下，可以将一个三维实心球分成有限（不可测的）部分，然后仅仅通过旋转和平移到其他地方重新组合，就可以组成两个半径和原来相同的完整的球。巴拿赫和塔斯基提出这一定理原意是想拒绝选择公理，但该证明很自然，因此数学家认为这仅意味着选择公理可以导致少数令人惊讶和反直觉的结果。有些叙述中这条定理被看成是悖论，但是定理本身没有逻辑上不一致的地方，实际上不符合悖论的定义。

巴拿赫-塔斯基定理