Problem algebry licealnej Tarskiego