在希腊化时代出现了以（）、（）形式表达出来的自然知识，被称为（）。

二叉树是结点的有限集合，这个有限集合或者为______，或者由一个根结点及两棵不相交的、分别称作为根的左子树和右子树的二叉树组成。