We now consider other types of arrangements of formal objects.

• 现在我们来研究形式对象的排列的另一种类型。