Your English writing platform
Discover LudwigSuggestions(5)
Similar(58)
The simplest such definition is this: let a model be constructed by first assuming a (finite or infinite) set W of worlds.
However, in contrast with the finite sets, an infinite set $A$ is bijectable with many different ordinal numbers.
An infinite set $A$ is called countable if there is a bijection $F \omega \to A$ between the set of natural numbers and $A$.
Yet the set of all such infinite sets will be infinitely descending.
By proving that there are (infinitely) many possible sizes for infinite sets, Cantor established that set theory was not trivial, and it needed to be studied.
And is an infinite set of even numbers bigger than an infinite set that also includes odd ones?
In the early 1900s a thorough theory of infinite sets was developed.
We call it an "infinite set of senior electives".
Cantor called the sizes of his infinite sets "transfinite cardinals".
To define infinite sets, Cantor used predicate formulas.
Brouwer denied that this dichotomy applied to infinite sets.
Write better and faster with AI suggestions while staying true to your unique style.
Since I tried Ludwig back in 2017, I have been constantly using it in both editing and translation. Ever since, I suggest it to my translators at ProSciEditing.

Justyna Jupowicz-Kozak
CEO of Professional Science Editing for Scientists @ prosciediting.com