1302
правки
Изменения
м
<tr class="odd">
<td align="left">(A5)</td>
<td align="left"><tex></tex></td>
</tr>
<tr class="even">
<td align="left">(A6)</td>
<td align="left"><tex></tex></td>
</tr>
<tr class="odd">
<td align="left">(A7)</td>
<td align="left"><tex></tex></td>
</tr>
<tr class="even">
<td align="left">(A8)</td>
<td align="left"><tex></tex></td>
</tr>
<tr class="odd">
<td align="left">(A9)</td>
<td align="left"><tex></tex></td>
</tr>
</table>
В схеме аксиом (A9) <tex>\psi</tex> – некоторая формула исчисления предикатов и <tex>x</tex> — некоторая переменная, входящая свободно в <tex>\psi</tex>.
→Больше формальности!
\end{cases}
</tex>
В схеме аксиом (A9) <tex>\psi</tex> – некоторая формула исчисления предикатов и <tex>x</tex> — некоторая переменная, входящая свободно в <tex>\psi</tex>.
A1, A2 {{---}} про предикат равенства. A5-A5 {{---}} про сложение. A7-A8 {{---}} про умножение. A9 {{---}} схема аксиом индукции.
{{Теорема
