Search found 3 matches

by Starx
Mon Nov 30, 2009 6:50 am UTC
Forum: Mathematics
Topic: What is a proper class?
Replies: 9
Views: 1668

What is a proper class?

Specifically what can we do with a class that we can't do with a set? The distinction between small and large categories came up in algebra and the professor just kinda hand waived and said we'll never have to worry about that in this course. I know the paradoxes in Naive set theory and understand t...
by Starx
Sun Nov 29, 2009 8:09 pm UTC
Forum: Mathematics
Topic: I think I proved Fermat's Last Theorem
Replies: 44
Views: 7170

Re: I think I proved Fermat's Last Theorem

(1) [(∀x)[A(x) ---> (B(x) w ¬B(x))]] ^ ¬[(∀x)[A(x) ---> B(x)]] ===> (∀x)[A(x) ---> ¬B(x)] Here is one example of a mistake you are making quite a bit. You are operating without taking your quantifiers into account. You can't do that. The correct statement would be that [(∀x)[A(x) --> (B(x) w ¬B(x))...

Go to advanced search