表示方法不唯一。其是一种基于数理逻辑的表示方法，其中数理逻辑可分为一阶经典逻辑与非一阶经典逻辑。