### 기본 개념 [[First-Order Logic]]