0\not\in\mathbf{N}