[lmm]

Show that it implies the consistency of ZFC, and that its negation also does so. Or show that it's equivalent to a statement that's already on that list.