В 1940 году Курт Гёдель переехал в США. Позднее на собеседовании математик был вежливо остановлен, когда пытался доказать, что американская АЛЬФА логически неполна и сохраняет опасность, с которой Гёдель был хорошо знаком. Назовите АЛЬФУ одним словом.