形式主语是一种在句子中用来代替真正主语的语法结构。它常被用来改变句子的语序，使句子更为富有叙述性。例如：

There is a cat in the box. (真正的主语是 "a cat")

In the box there is a cat. (形式主语是 "in the box")

这种语法结构最早被古希腊和拉丁文所使用，并随着英语的发展而演变成现在的形式。

一些英文例句和中文翻译如下：

In the garden, there are many beautiful flowers. (在花园里，有许多漂亮的花朵。)

On the table, there is a delicious cake. (在桌子上，有一个美味的蛋糕。)

In the sky, there are many stars. (在天空中，有许多星星。)