MHB Natural Numbers ⊆/⊄ Rationals: Infinite & Uncountable Sets

AI Thread Summary
The discussion centers around the relationship between natural numbers and rational numbers, specifically whether the set {x/(x+1) : x∈N} is a subset of Q. Participants are asked to determine if this set is a subset (⊆) or not (⊄) of rational numbers. Additionally, the conversation explores which sets are infinite and uncountable, including the set of real numbers minus rational numbers (R - Q) and the Cartesian product of natural numbers (N*N). The participants also discuss the countability of the real numbers (R) and rational numbers (Q). The thread highlights key concepts in set theory and the nature of different number sets.
KOO
Messages
19
Reaction score
0
Question 1) Write ⊆ or ⊄:

{x/(x+1) : x∈N} ________ QNOTE:
⊆ means SUBSET
⊄ means NOT A SUBSET
∈ means ELEMENT
N means Natural Numbers
Q means Rational Numbers

Question 2)
Which of the following sets are infinite and uncountable?
R - Q
{n∈N: gcd(n,15) = 3}
(-2,2)
N*N
{1,2,9,16,...} i.e the set of perfect squares
 
Last edited:
Physics news on Phys.org
KOO said:
Question 1) Write ⊆ or ⊄:

{x/(x+1) : x∈N} ________ QNOTE:
⊆ means SUBSET
⊄ means NOT A SUBSET
∈ means ELEMENT
N means Natural Numbers
Q means Rational Numbers

Question 2)
Which of the following sets are infinite and uncountable?
R - Q
{n∈N: gcd(n,15) = 3}
(-2,2)
N*N
{1,2,9,16,...} i.e the set of perfect squares
1) Is x/(x + 1), when x is a natural number, a rational number?

2) Is R countable? Is Q countable?

-Dan
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top