This is the logical statement:Logik wrote: ↑Mon Apr 08, 2019 4:17 pmI have stated it over and over again (and I keep demonstrating it).PeteOlcott wrote: ↑Tue Apr 02, 2019 9:48 pm Tarski Undefinability Theorem Succinctly Refuted
https://www.researchgate.net/publicatio ... ly_Refuted
Provide a logical statement which you think should evaluate to True or False.
3) x ∉ Pr if and only if x ∈ Tr // page 275
This is the context
http://liarparadox.org/Tarski_Proof_275_276.pdf
You don't get to specify the context.Logik wrote: ↑Mon Apr 08, 2019 4:17 pm IF I am allowed to control the value of any of your inputs (e.g the context) I will invent you a system (input to your framework) in which your theorem evaluates as False when you expect it to be True. AND a system in which your theorem evaluates as True when you expect it to be False.