Grelling-Nelsonのパラドックスの形式化