In article <firstname.lastname@example.org>, WM <email@example.com> wrote:
> On 28 Mai, 20:39, Virgil <virg...@nowhere.com> wrote: > > but the laws of logic are derived from thoughts of an ideal > > world and such thoughts are not obtained solely reality, but from > > largely from an unreal vision of the ideal. > > The result is in due shape. > > > > There > > > > > is no model of a complete linear set in reality that makes [*] false > > > and [**] true. But there are many models showing that [*] is true > > > whenever [**] is true. > > > > And many models for which "ExAy P(x,y) ==> AyEx P(x,y)" is false. > > Not linear models.
N is such a model, as are the set of all predecessors of any limit ordinal.
> And no others!
Actually as many other as there are limit ordinals, which is more than WM can count. > > > > > Then WM better confine his attentions to areas in which no limiting > > processes are wanted and no infinite sets are wanted, which excludes him > > from all calculus. > > Either Cantor¹s diagonal proof shows that the limit of all omega > indices can be reached by defining b_n =/= a_n for every n.