On 29 Mai, 05:51, William Hughes <wpihug...@hotmail.com> wrote: > On May 27, 11:04 am, WM <mueck...@rz.fh-augsburg.de> wrote: > > > > > But frequently I made use of what you call quatifier exchange and what > > is allowed in case of complete linear sets. > > Nope. > > It is easy to show > > quantifier exchange is allowed for linear sets > if and only if there is a largest element. > Rules of logic were obtained from finite sets. Rules of logic for linear sets were obtained from linear finite sets.
Everything else is matheology of Wolkenkuckucksheim.
Proof: A complete linear set without a last element is self contradictory, as can be proven by the only logical rules that must be accepted, namely those obtained from finite sets.