A series of statements which would prove an untheorem true, if only each followed from previous statements logically.