|Page 717 of 800||Search internet|
A term like is an illformed metaterm because a metaoperator like is not permitted to occur in arguments of object operator like .
As another example, is illformed because is no meta-variable. For the precise definition of wellformed metaterms, see the check page.
|Page 717 of 800||Search logiweb.eu|