명제만으로 프로그래밍 못함?

[익명(14.45)]

명제로 모든걸 나타낼수 있을거같은데

[잠온다(165.229)]

고도의 추상화...?