From Newsgroup: sci.logic
On 09/28/2026 11:29 AM, Ross Finlayson wrote:
On 05/29/2015 06:38 PM, Ross A. Finlayson wrote:
Then that gives order,
but you still have to write
out the constructive forms
(as I do), that the ordinal
construction so maintained
for cardinalities and their
evaluations beside each
other, that they are only
in sets the entirety together
of quite altogether all the
modelled quantities. As
still a first order set theory,
it is all and only sets. Then
finite combinatorics supports
all the finite constructions,
already, then for the set theory
itself: to contain model theory.
Then quite reasonable (and
finite) subsets of all sets of
set theory quite properly are
totally defined even in their
models as indeterministic,
it is the altogether and infinite then
where is the consequence of the
complete construction of model
theory. This is Goedel, that there is
all the complete finite machinery,
altogether incomplete without the
infinitely completed mathematical
machinery, yet still perfect, as
classical. Then via deduction about
the properties of the infinite in
spaces of conserved quantities, as
attenuating, then these features are
mathematically reasonable.
The account of "total model theory" is a bit beyond
any ordinary account, since ordinary theories don't
have a model of the universe at all.
--- Synchronet 3.22a-Linux NewsLink 1.2