Based on Gödel's Incompleteness Theorems, argue whether it is theoretically possible to create an Artificial General Intelligence (AGI) that can understand and prove all mathematical truths. Discuss the implications of a system generating true statements that it cannot prove within its own axiomatic framework.