Deutsch English Français Italiano |
<101bv2f$dvr0$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!news.nobody.at!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: Mikko <mikko.levanto@iki.fi> Newsgroups: sci.logic Subject: Re: Simple enough for every reader? Date: Fri, 30 May 2025 12:51:11 +0300 Organization: - Lines: 28 Message-ID: <101bv2f$dvr0$1@dont-email.me> References: <100a8ah$ekoh$1@dont-email.me> <878qmt1qz6.fsf@bsb.me.uk> <100fu5r$1oqf5$1@dont-email.me> <87plg4yujh.fsf@bsb.me.uk> <100ho1d$272si$1@dont-email.me> <87ecwizrrj.fsf@bsb.me.uk> <100kbsj$2q30f$1@dont-email.me> <874ixbxy26.fsf@bsb.me.uk> <100s897$lkp7$1@dont-email.me> <87r00dv5s4.fsf@bsb.me.uk> <100ukdf$19g96$1@dont-email.me> <87ldqkura6.fsf@bsb.me.uk> <1011f3m$1uskr$1@dont-email.me> <1011gn8$1vbtj$1@dont-email.me> <1011r74$20v83$2@dont-email.me> <1014b3q$2k7is$1@dont-email.me> <1014lg2$2l9jj$6@dont-email.me> <1019chq$3qkog$1@dont-email.me> <1019sbs$3sv8u$4@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Fri, 30 May 2025 11:51:12 +0200 (CEST) Injection-Info: dont-email.me; posting-host="30194b9ca93057da22fe329aa8d4529a"; logging-data="458592"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/DItpVynAowB3/nzRtZLbp" User-Agent: Unison/2.2 Cancel-Lock: sha1:NGzSlOYADEA7qe+jnYeVmnD4H/c= Bytes: 2341 On 2025-05-29 14:52:45 +0000, WM said: > On 29.05.2025 12:22, Mikko wrote: >> On 2025-05-27 15:24:50 +0000, WM said: > >>> {1} has infinitely many (ℵo) successors. If you don't understand, please ask. >>> >>> For every number n that can be represented in decimals: >>> If {1, 2, 3, ..., n} has infinitely many (ℵo) successors, then {1, 2, >>> 3, ..., n, n+1} has infinitely many (ℵo) successors. If you don't >>> understand, please ask. >> >> The indication that a sentence is a premise is still absent. > > This is {1} has infinitely many (ℵo) successors. > >> The indication that and how a sentence is a conseqence of earler sentences >> is still absent. > > {1, 2, 3, ..., n, n+1} has infinitely many (ℵo) successors is a > consequence of {1, 2, 3, ..., n} has infinitely many (ℵo) successors, > and ℵo - 1 = ℵo. Still no proof. -- Mikko