Genady

No, for each n there is one and only one row, the row number n. This row has nothing to do with other rows. For each n there is one set, R(n). The list is a set of these sets. Let's call it LIST. This set, LIST is defined so that for each n∈N the set R(n)∈LIST, and for each element Q∈LIST there exists n∈N such that Q=R(n). There is no "implies" anywhere in the definitions.

Yes, each set R(n) is finite. You said something else in the previous post: This is incorrect. The list of sets is not finite. In other words, for each n, the set R(n) is finite. But the set {R(n) | n∈N} is not finite.

No, it does not. What makes you think it does? It says, "each n∈N", doesn't it? Here is the definition again: "each n∈N is mapped to set R(n)= {x∈N | 1≤x≤n}" There is no limit on n.

This is needed because mapping connects elements of two sets. In your case, each element of the domain set ("from") is a natural number, and each element of the codomain set ("to") is a set of natural numbers. Very well. So, following the definition, "each n∈N is mapped to set R(n)= {x∈N | 1≤x≤n}", please define the issue that bothers you.

The lack of reason to think otherwise.

Life does not have a purpose. But people do, sometimes.

The OP question is, Is a moral free market possible. My response is, If the free market is moral already, then surely it is possible.

It is not a different topic because if it is moral then the answer to the OP question is yes.

What is immoral in the free market?

It depends on the culture, I guess. In my school, when we were given an equation to solve, there was always a possibility that the equation does not have a solution, in which case we were expected to prove that it is so. The idea of your proof is right and the proof is very close, except the issue you've mentioned about the area covered by the points. This issue can be eliminated by a modification of the proof where instead of removing points from a 1x1 square we find where to put a point. (I hope this last hint helps rather than distracts.) +1

The original goal has been inverted a few posts up. Now we try to prove this: Of course, it is either one or another, i.e., either there exists a shape that cannot be placed without touching or any shape can be placed without touching. But I have already hinted that the latter is correct.

Let me describe how I understand your construction. There is a list of numbered rows, one row for each natural number. Each row has a set of natural numbers, which contains natural numbers between 1 and the row number (including). Is this description correct? Putting it more formally: You construct a one-to-one (injective) map from set of natural numbers N to set of sets of natural numbers such that each n∈N is mapped to set R(n)= {x∈N | 1≤x≤n}. Correct?

The bot doesn't think so. I've asked a longer form of the question, with a hint: and got a more detailed answer: What??

A little algebra help for those who don't remember the formula: taking the cube of the expression in OP gives at first, Now, to simplify...

Et tu, Brute?

Well, that's too simple. But I did ask a simple question: Would you believe what its answer was?

The sets shown in your OP don't fit the definition "start at 1 and increase by 1." They fit the definition "start at 1, increase by 1, and stop at the row number."

No. It refers to each individual set. No. A set defined as "starting at 1 and increasing by 1" is infinite.

Evidently.

By "they" I mean each set. So, I need to rephrase my question: If you define each set as "starting at 1 and increasing by 1", then it is infinite. But if you define each set as "starting at 1, increasing by 1, and stopping when the row number is reached", then it is finite. What is your definition?

If you define them as "starting at 1 and increasing by 1", then they are infinite. But if you define them as "starting at 1, increasing by 1, and stopping when the row number is reached", then they are finite. What is your definition?

Not clear. Are these sets that you define, finite or infinite?

No, you read way too much in this proof. It is quite a trivial one. It just shows that whatever set a row in your list has, is not a set of natural numbers. I don't see that digging into this proof will help to clear out the confusion. In fact, by now I don't know what the confusion is and thus don't know how to help with it. Maybe you can clearly state it from scratch.

OK, but imagine an arbitrary shape on a plane, an inkblot or even several inkblots (the shape doesn't have to be one connected piece) ...