В статье излагается попытка синтезировать все метафизические концепты касательно категории «форма», зафиксированные в истории философии. В результате предлагается гипотеза единой субстанции для всех форм, обозначаемой универсальным термином «формалия». Приводятся некоторые постулаты теории формалии и в их свете анализируется одно из современных направлений западной философии – исчисление форм. Показывается, что корни исчисления форм лежат в кантовской философии, а базовое понятие «собственная форма» отражает субстанциально-рекурсивные закономерности мыслящего субъекта.