|
|
|
|
|
|
by kidintech
2295 days ago
|
|
|
> 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. |
|
|