La paradoja de Banach-Tarski usa un grupo libre sobre un conjunto de dos elementos.