i,ji,ji,j を それぞれ 1,2,…1,2,\ldots1,2,… のいずれかとする。
変数記号 v1,v2,…\,v_1,v_2,\ldotsv1,v2,… に対して、
vi=vjv_i=v_jvi=vj vi∈vjv_i\in v_jvi∈vj を 原始言語の原子論理式 とよぶ。
v1=v1v_1=v_1v1=v1 v1=v2v_1=v_2v1=v2 v1=v3v_1=v_3v1=v3 ⋯ \,\cdots\,⋯ v2=v1v_2=v_1v2=v1 v2=v2v_2=v_2v2=v2 ⋯ \,\cdots\,⋯ v3=v1v_3=v_1v3=v1 ⋯ \,\cdots\,⋯
v1∈v1v_1\in v_1v1∈v1 v1∈v2v_1\in v_2v1∈v2 v1∈v3v_1\in v_3v1∈v3 ⋯ \,\cdots\,⋯ v2∈v1v_2\in v_1v2∈v1 v2∈v2v_2\in v_2v2∈v2 ⋯ \,\cdots\,⋯ v3∈v1v_3\in v_1v3∈v1 ⋯ \,\cdots\,⋯
が 原始言語の原子論理式 である。