F ⊢ Tr(⌈A⌉) ↔ A

Posted on 10 December 2015

0



Undefinability of Truth

Lords of C.

duqu gif yellow with orange dots

 

Advertisements