Schönfinkelのもとの論文では、今S,K,I,B,Cと呼んでいるものはそれぞれS,C,I,Z,Tと呼ばれていた.
Schönfinkel