自己言及のパラドックス

アルフレト・タルスキ

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