 There is a discussion of Gödel that has bearing on each of these questions, namely, his discussion of intrinsic and extrinsic justifications in his classic paper (Gödel (1947), expanded as Gödel (1964)). 