A series of statements which would prove an untheorem true, if only each followed from previous statements logically.
Log in or register to write something here or to contact authors.