Then if we substitute Frege’s definitions of \(\mathit{Number}(x)\), \(\mathit{Precedes}(x,y)\), and \(0\), as described in Sections 2.5 and 2.6 above, his representation of the arithmetical law becomes: