F ⊢ Tr(⌈A⌉) ↔ A

Posted on 10 December 2015

0


tarski

Undefinability of Truth

Lords of C.

duqu gif yellow with orange dots

 

Advertisements