* Основные «недоказуемые» положения, или правила вывода, которые они выделили, были следующими: modus ponens (p → q; p; следовательно, q); modus tollens (p → q; ¬q; следовательно, ¬p); и разделительный силлогизм в трех различных видах, которые они, по-видимому, не распознавали в качестве такового: (p ∨ q; p; следовательно, ¬q); (p ∨ q; ¬p; следовательно, q); (¬(p & q); p; следовательно, ¬q). Последнее по законам де Моргана эквивалентно (¬p ∨ ¬q); ¬p; следовательно, ¬q. См. приложение о логике.