JBRIII wrote:
#4 on the logic list, was used, I believe, to prove nothing is truly provable. Remember the axioms in math, one always needs to start with something taken as true to build the rest on!
When that happens, you can always prove a lemma. I think the name stems from dilemma.