Re: The set of necessary FISONs

On 3/5/2025 1:40 PM, Moebius wrote:

Am 05.03.2025 um 22:28 schrieb WM:
 

F = {F(1), F(2), ..., F(n), ...}

 with F(n) := {m e IN : m <= n} (n e IN).
 

UF = {1, 2, 3, ...}

WM says I only see 1, 2 and 3 when I look at { 1, 2, 3, ... }. Therefore it must be finite...

 Exactly! Schön, dass Du das nun endlich erkennst, Mückenheim.