Felthry had an interesting thought for a mathematical challenge yesterday: Come up with four statements, none of which taken alone can prove any of the others, but any two of which, taken as axioms, can prove both of the others.
I'm not as sure as it was that this is all that challenging, to someone more familiar than us with the principles of formal logic.