На текущий момент времени у психологии действительно нет формального языка, который бы описывал ее тезисы
Кстати, показательно, что задача квадратуры круга у греков была нерешенной, хотя и решается в одну строчку, если ввести формализацию алгебраических дополнений