|
|
Re: Definition of Mathematics
Posted:
Mar 6, 2012 12:56 PM
|
|
Transfer Principle wrote:
> > Therefore, a ZFC user, [...]
A mathematician may well prove something in ZFC one day, and in NF the next.
> [...] the posts contradicting ZFC are considered non-mathematics.
From time to time I and others mention ZF with the axiom of infinity replaced with its negation.
-- When a true genius appears in the world, you may know him by this sign, that the dunces are all in confederacy against him. Jonathan Swift: Thoughts on Various Subjects, Moral and Diverting
|
|