アルフレト・タルスキ

郵便はがきのパラドックス - 自己言及を用いない嘘つきのパラドックス

以下の2つはその証明中で、自己言及パラドックスに類似した論法をパラドックス解消して「背理法」にした上で用いている。