Question Number 185973 by normans last updated on 30/Jan/23
$$\:\:\:\:\:\: \\ $$$$\:\:\:\:\:\left[\boldsymbol{{prove}}\:\boldsymbol{{that}};\right] \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\mathrm{1}\:+\:\mathrm{2}\:=\:\mathrm{3} \\ $$$$ \\ $$
Commented by MJS_new last updated on 30/Jan/23
$$\mathrm{if}\:“\mathrm{1}''=\mathrm{1}\in\mathbb{N}\wedge“\mathrm{2}''=\mathrm{2}\in\mathbb{N}\wedge“\mathrm{3}''=\mathrm{3}\in\mathbb{N}\wedge\left(“+''\right. \\ $$$$\left.\mathrm{is}\:\mathrm{the}\:\mathrm{common}\:\mathrm{addition}\right)\wedge\left(“=''\:\mathrm{is}\:\mathrm{the}\:\mathrm{common}\right. \\ $$$$\left.\mathrm{equality}\:\mathrm{sign}\right): \\ $$$$\mathrm{lhs}\:\mathrm{1}+\mathrm{2}=\mathrm{3} \\ $$$$\mathrm{rhs}\:\mathrm{3} \\ $$$$\mathrm{lhs}=\mathrm{rhs} \\ $$
Commented by MJS_new last updated on 30/Jan/23
$$\mathrm{questions}\:\mathrm{like}\:\mathrm{this}\:\mathrm{one}\:\mathrm{only}\:\mathrm{make}\:\mathrm{sense}\:\mathrm{when} \\ $$$$\mathrm{we}\:\mathrm{specify}\:\mathrm{what}\:\mathrm{tools}\:\mathrm{are}\:\mathrm{allowed}\:\mathrm{for}\:\mathrm{the} \\ $$$$\mathrm{proof}. \\ $$$$\mathrm{i}.\mathrm{e}.\:“\mathrm{prove}\:\mathrm{that}\:−\mathrm{5}\boldsymbol{\div}\mathrm{4}\:\mathrm{is}\:\mathrm{not}\:\mathrm{defined}''\:\mathrm{only} \\ $$$$\mathrm{makes}\:\mathrm{sense}\:\mathrm{when}\:\mathrm{we}\:\mathrm{are}\:\mathrm{limited}\:\mathrm{to}\:\mathbb{Z} \\ $$
Answered by Mathspace last updated on 30/Jan/23
$${but}\:{in}\:{Z}/\mathrm{3}{Z}\:\:\:\:\:\mathrm{1}+\mathrm{2}=\mathrm{0}\:\:\:{first}\:{you}\:{must}\:{choose}\:{the}\:{set}! \\ $$
Commented by MJS_new last updated on 30/Jan/23
$$\mathrm{yes}. \\ $$