Cách ghi phổ niệm dưới dạng công thức

Có hai cách ghi phổ niệm: ghi dưới dạng những câu phát biểu bình thường hay ghi dưới dạng những công thức, hoặc gần như công thức. Ghi dưới dạng công thức thì thường hay dùng những quy ước dưới đây (mượn từ ngành logic kí hiệu):

∀	kí hiệu dùng để chí ý nghĩa: "trong tất cả mọi ngôn ngữ, trong bất kì ngôn ngữ nào"
∃	kí hiệu dùng để chí ý nghĩa "có"
!∃	kí hiệu dùng để chỉ ý nghĩa "không có"
	kí hiệu dùng để chỉ ý nghĩa "trong đa số các ngôn ngữ"

Như vậy, một công thức như

∀ [(∃ giống → (∃ số)]

sẽ có ý nghĩa là "trong tất cả mọi ngôn ngữ, hễ đã có phạm trù giống thì tất phải có phạm trù số".