嘘つき型パラドックス論理式
より強い制約があるものは
厳密嘘つき型パラドックス論理式
と言われる