In that particular case, any proof that the angles of a triangle add up to 180 degrees has to start from the relevant axioms - and if you include the Euclidean parallel postulate then yes, that can be proved. What would the "crucial context" outside of the axioms you start with and inference steps to get from the axioms to your statement be?