[math-fun] Is mathematical truth "real" ?