|Page 329 of 800||Search internet|
One of the things an argumentation can contain is a reference to a line number. The proof of above contains lots of line numbers, but the proof of below makes the point even more explicit:
In Line L99 we use Axiom A1 to prove Axiom A1, then we use Line L99 in place of Axiom A1 in the argumentations in Line L03 and L05. So in the extreme case, an argumentation may contain nothing but a line number.
|Page 329 of 800||Search logiweb.eu|