We initiate the theory of a quadratic form q over a semiring $R$. As customary, one can write $q(x+y)=q(x)+q(y)+b(x,y)$, where b is a companion bilinear form. But in contrast to the ring-theoretic case, the companion ...