Re: The set of necessary FISONs

On 2/24/2025 12:17 PM, WM wrote:

On 24.02.2025 17:40, FromTheRafters wrote:

WM brought next idea :

These axioms can be applied to show that
all FISONs can be removed.

>
Not in a system where sets don't change.

>
Addition and subtraction of sets are a common techniques.
Thereby sets are changed.

Thereby a relationship between unchanging sets
is described.

It is possible

What? It isn't matheology, after all?

but not useful to express this ponderously by fixed sets.

Mathematical sets and
mathematical objects in general
do not change,
(although they can represent change in various ways).
Their lack of change permits us to know
by their appearance alone
(as with Q in ⟨P P⇒Q Q⟩)
that they are not.first.false.
In a finite sequence of claims such that
each claim is true.or.not.first.false,
each claim is true.
Some say that knowing what's true is useful.