What's ZFC?

What's ZFC?

Other urls found in this thread:

en.wikipedia.org/wiki/ZFC
twitter.com/NSFWRedditVideo

en.wikipedia.org/wiki/ZFC

Why do we need anything except the usual axioms we know?

those are the usual axioms we know though?

>Today ZFC is the standard form of axiomatic set theory and as such is the most common foundation of mathematics.
Maybe?

>Why do we need anything except the usual axioms we know?
Sometimes one wants to work within the category of all axioms

An inconsistent piece of garbage.

>he's doing it again! haha, what a madman!

Why is is inconsistent?

it's not

But you can't prove it is consistent. Shit theory.

you can't prove you exist and yet you're here shitposting

I think, therefore I am.

>>he's doing it again! haha, what a madman!
I'm not a "he".

>>he's doing it again! haha, what a madman!
Who are you quoting?

>But you can't prove it is consistent. Shit theory.
Conjectures are natural in mathematics though, might as well get used to it

if you could prove it's consistent, it wouldn't be.

>a statement not being provable
>Conjectures
Engineer spotted.

Why is it not provable?

It's not provable assuming ZFC is consistent, which is obviously false, but that's what the initial post assumed.

Why can't I conjecture that it's consistent?

A statement being provably unprovable is not the same as it being a "conjecture".

Well then what's wrong with it being unprovable?

Too weak

Nothing.

>everything is a theorem
>too weak
Huh?

Not that I have anything against V=L, but if you're gonna post
>too weak
one could also post
>irrelevant
to those kinds of axioms. Irrelevant for anything but people who already study set and model theory.

Yes you are faggot.

>people who already study set and model theory
People wouldn't be studying set theory.

does this sentence miss a piece?

Nope. Those who study set theory aren't really people.

>faggot
Why the homophobia?

...

Ah, I see. Well you need to study some basic set theory at least to git gud with tensor products and such.

>Yes you are faggot.
Unfortunately for you, you don't get to determine by pronouns or my gender.

>basic set theory
That's not the kind of set theory people mean when they bring up "V = L".
>tensor products
You only need it to establish their existence, and even that is possible without using much basic set theory.

kek