Similar to 宣言的知識

Circular definition

Truth table

Intension

Mereology