「\(T_1\) = 1 AND \(T_2\) = 0」は無限個の無限長の条件の前後どちらに置いてもよい。
==SQL==
<table border="1px">
<caption>\( \mathbb{N} \)</caption>
<tr bgcolor = "bisque"><td>id</td></tr>
<tr><td>\( 0 \)</td></tr>
<tr><td>\( 1 \)</td></tr>
<tr><td>\( 2 \)</td></tr>
<tr><td>\( \vdots \)</td></tr>
</table>
SELECT id FROM \( \mathbb{N} \) WHERE id * id = 9;
これで自然数に対する方程式が解ける。