Truth in mathematics requires interpretation within a model, and G_F is true only relative to the st...