it seems to me that it would be better to explicitly announce that the paper uses a non-standard analysis: " the smallest positive number other than 0", i.e. "infinitesimal".
So, the statements that follow (starting from the claim that the sum of two infinitesimals is equal to zero) should be proved and verified using the appropriate tools from the non-standard analysis that you choose (or build).