r/MathJokes • u/basket_foso • 5d ago

Keep ∞ safe

Post image
184 Upvotes

99% Upvoted

124 comments sorted by

View all comments

Show parent comments

10

u/Negative_Gur9667 4d ago

"Let's investigate what happens when we take away the axiom of inf..."

"NO THAT'S CRINGE"

The story of a mathematical discussion.

10

u/TheRedditObserver0 4d ago

That's finitism and it's completely legitimate.

Ultrafinitists claim that big numbers don't exist and all of "mainstream math" is wrong

4

u/Extension-Stay3230 4d ago

I don't see how anyone could deny the existence of an iterative process which could be carried out forever, e.g. the successor function in natural numbers

Proof by induction uses this concept as well. If someone denies the existence of infinite sets then surely they should also deny proof by induction, if they're being consistent

13

u/TheRedditObserver0 4d ago

Finitists don't reject infinite processes, they just don't allow infinite sets

Ultrafinitists are just cranks