/sci/ - Science & Math

[Anonymous No.3360590]

Hey guys, I was wondering if you could give us over at /fa/ some help.
>>>/fa/3567048
Some guy mentioned that this jacket here has 5 pockets, and then it was said that 5 is greater than 4.
Is this correct? Can you prove this?

[Anonymous No.3360595]

Yes, and here's something you might enjoy in your anus

[Anonymous No.3360596]

It's an axiom and need not to be proved.

Now leave.

[Anonymous No.3360601]

>>3360596
It's definitively not an axiom, at least not a reasonable one. It can be derived from any half-way consistent construction of the naturals.

[Anonymous No.3360602]

>>3360601

It IS an axiom.

[Anonymous No.3360611]

>>3360601

The definition of a number and what it symbolizes is an axiom. The fact that if a number is further along the real line than another, it is greater than the latter number is also an axiom. It is also an axiom that 5 is further along the line than 4.

Perhaps not formal axioms because of the sheer fundamentality of it, but still.

[Anonymous No.3360624]

>Hey /sci/ is 5 greater than 4?
>130 posts and 14 images

[Anonymous No.3360632]

>>3360624
Not really

[Anonymous No.3360639]

>>3360611
>I'm from /fa/
>this is my first time on "sci"
>mfw this post

[Anonymous No.3360772]

>>3360611
By that logic every theorem is an axiom

[Anonymous No.3360822]

you associate { } with 0
if n is an integer n U {n} is called the immediate successor of n
you can now define a relation of order, if n is one of the successors of m, then n > m

so with this instruction the 3 first integer are :

0={ }
the successor of 0 is 0 U {0}={0} call it whatever you want , 1 for example.
the succesor of 1 is 1 U {1} = {0} U {1} = {0,1} you can call it whatever you want, 2 for example. etc..

so yeah 5 > 4

[Anonymous No.3360840]

>>3360822
You need to prove that infinite set exist (you can't), so you need to use the axiom of infinity.

[Anonymous No.3360863]

>>3360840
Why would not infinity be the default position?

[Anonymous No.3360890]

>>3360863
why would it be the default position? this is where axioms enter in the game, you ASSUME something is true (most of the time it's trivial), and don't waste your time on this shit and find interesting math properties. all these properties are true under the condition the axioms you choosed are true.
so if infinite sets exist, then 5 > 4 .

[Anonymous No.3360917]

>/sci/ actually discussing proving 5>4

[Anonymous No.3361002]

1 2 3 4 5
5 comes after 4.

Therfore, 5 > 4

Source: AP Discrete math in High school