보편 한량사 (universal quantification) 그 빈 곳에 어떤 변항이든 놓여질 수 있는 “(   …