In this note I am re ecting on interrelations between three concepts of truth: (1) that employed by Hilbert arguing his formalist view on the nature of math- ematics, (2) Freges idea of truth supported by mathematical intuition, and (3) known as Aristotelian correspondence idea of truth concerning any propositions not merely mathematical.