「現在までに確立された全数学」自体が既に時々刻々変化しているから不可能。