Problema de la cuadratura del círculo de Tarski

Esto fue probado posible por Miklós Laczkovich en 1990, aunque la descomposición hace un uso importante del axioma de elección y no es por tanto constructiva.Las piezas usadas en la demostración de Laczkovich son subconjuntos no medibles.De hecho Laczkovich demostró que el ensamblaje puede realizarse usando solo translaciones; las rotaciones no son requeridas.A lo largo del camino, también ha demostrado que cualquier polígono simple en el plano puede ser descompuesto en una serie de piezas finitas y vuelto a ensamblar usando solo traslaciones para formar un cuadrado con la misma área.Además, este enunciado más fuerte puede ser probado también para que se consiga solo mediante traslaciones.