素因数分解の一意性って論理記号を用いてどのように書くことができるのでしょうか？次のように書けば問題ないでしょうか？ (∀n∈Z\{0,1})(∃r∈N(1以上))(∃p_1,… p_r)((p_1,… p_r:素数)∧(n=± p_1×… ×p_r)) (r=0を空積と考えればn=1を含めることができると思いますが，今回は省きました)