Comment Comment by soberhoff This is hairsplitting. It's okay to say that there are true yet unprovable sentences without always carrying "true under the standard interpretation" around. It's understood from context. parent soberhoff 6 years ago