수리논리학/예비사항