Гост написа:философски казус: възможно ли е да има грешка и в условието, и в отговора?
Да, но по отношение на някаква друга задача с дадени условие и отговор, иначе не може да има грешка и в условието, и в отговора на дадена задача, ако може да се намери инжективна функция [tex]f : O \rightarrow U[/tex] между множеството на всички отговори [tex]O[/tex] и множеството на всички условия [tex]U[/tex], която да изпраща даден отговор към условие, за което той е верен. Или аналогично, може да се намери [tex]f^{-1} : U \rightarrow O[/tex], [tex]f(u)=1[/tex], [tex]u \in U[/tex], където [tex]1[/tex] е стойността на всеки верен отговор. Трябва да се докаже, че съществува поне едно условие, за което даден отговор е верен. Последното изглежда интуитивно ясно, но дали може да се докаже като лема или отделна теорема. Ако не, предлагам го като аксиома.