Problem algebry licealnej Tarskiego (ang. High School Identities) – problem z zakresu logiki matematycznej postawiony przez Alfreda Tarskiego. Jego istotą jest pytanie o istnienie takich tożsamości zawierających dodawanie, mnożenie i potęgowanie dodatnich liczb całkowitych, których nie można udowodnić, korzystając jedynie z jedenastu aksjomatów dotyczących tych działań, zawartych w programie matematyki licealnej. Problem rozwiązał Alex Wilkie w roku 1980, pokazując, że takie tożsamości istnieją.
Przedstawienie problemu Według Tarskiego poniższe 11 aksjomatów dodawania mnożenia i potęgowania wchodziło w standardowy zakres nauczania w liceum:
Aksjomaty te, czasem nazywane tożsamościami licealnymiStanley Burris, Simon Lee, Tarski’s high school identities, „American Mathematical Monthly”, 100, (1993), no. 3, s. 231–236., odpowiadają aksjomatom pierścieni wykładniczychUściślając, pierścień wykładniczy zawiera funkcję wykładniczą która każdemu argumentowi przyporządkowuje wartość zachowującą się jak dla ustalonej liczby Niewielkie uogólnienie prowadzi do wyszczególnionych tutaj aksjomatów.