Re:Product of Negatives (2010)
by kidintech on Sunday March 01, 2020 @07:58AM
(#22456682)
> the assumptions are well known field axioms. They form a good starting point.
I gave Peano as an example. I don't mind the assumptions, as long as they're reasonable and presented before the proof. Another comment pointed me to the fact that they were mentioned in an earlier paragraph, so my issue is resolved.
I gave Peano as an example. I don't mind the assumptions, as long as they're reasonable and presented before the proof. Another comment pointed me to the fact that they were mentioned in an earlier paragraph, so my issue is resolved.