それって「どういう必要性があってそのような定義を捻出したのか」というある意味メタなレイヤーの話であって (たとえばそうでない定義もできるかもしれない)、具体的な定義対象のことそのものについての理解に直結しているとは限らないと思うんですが
三つ目の論点として、円周率が正しいことを (その性質を利用して) 検証するのと、円周率そのものを導出するのは、問題としての難度が全然違いますよね。
たとえば 7194667284607936697938603328569 の最小の素因数を求めるのと、 7194667284607936697938603328569 の最小の素因数が 2031443 であることを検証できることは全然違う。