النتائج

أربع نتائج، وسجل منظَّم واحد يقف خلفها جميعًا. كل نتيجة تُبنى بنفس الطريقة: تُحدَّد أولًا، وتُفرض داخل النظام نفسه، وتكون قابلة للإثبات لاحقًا.