The underlying concept I’m getting at is that there is more than just human understanding here. Our understanding of mathematics is highly subjective but it see

The underlying concept I’m getting at is that there is more than just human understanding here. Our understanding of mathematics is highly subjective but it seems to me theorems do have some sort of true value with some of them being more useful for doing mathematics and others being things you prove once and never use again. A robot could prove infinite theorems about every number having a double successor, triple successor and so on. If it does so it’s not just human subjectivity saying it hasn’t done any meaningful mathematics.