> you might not be able to prove all the properties you care about

And just to add, this is also true of "human" mathematics as well.