Sally (./7899) :
en fait elle est « intuitivement » vraie sans être « logiquement » vraie ?

Elle est sémantiquement vraie sans être démontrable ( == "logiquement vraie" ), non ?