数学的内容远远比ZFC丰富 isn't true, at least it is not proven.

送交者: steven 于 2005-6-17, 04:28:54:

回答: 理性完蛋了？由 xinku 于 2005-6-16, 23:39:34:

Consider mathematics is a set M of formal languages, can you prove ZFC is a subset of M? I think not.

Yes - xinku (60 bytes) 2005-6-17, 07:57:47
- you mean finite set? ZFC is not finite. - steven (344 bytes) 2005-6-17, 12:28:30