FOM: A suggested problem

[Torkel Franzen]

  Martin Davis says:

  >It surely is. I mentioned in an earlier posting what I think of as a key
  >foundational problem in our time: how to make sense of the \Pi_1 statements
  >implied by large cardinal axioms. 

  This sounds like a question that should qualify as foundational on
any reasonable understanding of the word. I would be very interested
to learn what people have to say about it. So perhaps you could
explain a bit what you mean by "make sense of" in this context?