You can use arrow keys to navigate in the map.
for example Tarski explain that liar paradox
"This sentence is false" can be considered an axiom.
This statement disproves that.
I'm going to go with... True.
It is neither true nor false because it is begging the question.
"this" don’t refer to "this statement is false", because "A = not A" is false.
If you said it explicitly:
P : "P is false", you get "P : "P is false"" is false.
Then the negation of "this statement", don’t imply the negation of "this statement is false".
It's both false and true.
I refuse to acknowledge this question was asked.