 style="border-style: initial; border-color: initial;">2.8.2. <a style="border-style: initial; border-color: initial;" name="137565216" id="137565216"></a> Microtheories</h3>
<p style="border-style: initial; border-color: initial;">Every assertion is contained in some microtheory. A particular sentence may be asserted into (or concluded in) more than one microtheory; when this is the case, there will be an assertion which has that sentence in each of those microtheories. The largest number of assertions a