Use original bounded integer n=0. Give (n, ordinary_positive_form_claim, sign_unit, absolute_prime_multiset, boundary).
G001 — Use original bounded integer n=0. Give (n, ordinary_positive_form_claim, sign_unit, absolute_prime_multiset, boundary).
Definition and scope
Use the original question domain, assumptions and cited MKO definitions. This item has second-context mathematical and bilingual review, with the model, answer and every arithmetic step independently recomputed from the original parameters; the source question remains a candidate.
Retain the historical interface marker while listing ordered output fields without JavaScript.Fields and tags are not extra mathematical evidence;fixed No markers retain their claim scope.
ORIGINAL signed integer=0;actual sign=null;positive prime multiset=[]
After
ordinary_positive_form_claim fixed No;zero has no finite prime product;units use empty product1;nonzero sign is separated from |n| prime factors
Conditions: none
Zero is not a finite prime product;±1 are units with an empty prime multiset.Other nonzero integers separate sign from positive factors.The fixed No is not a positivity test or a denial of factorization for a positive integer.
S002 · premise_and_result_audit — Check against the original data and this step's premises; a one-way implication is not an equivalence.
S001 · premise_and_result_audit — Check against the original data and this step's premises; a one-way implication is not an equivalence.
Result
(0, No, null, [], zero_has_no_prime_factorization)
The full substitutions and premise checks give the original answer; source identity,format and status are unchanged.
This question review and source binding
Review date: 2026-10-26
Original questions, answers, step expressions, numeric ASTs and historical records are retained. Source candidate labels remain historical and are not overwritten as formal proof.