Loading audiobook...

PATH 1: FOUNDATIONS & MATHEMATICAL THINKING

Subject: PATH 1: FOUNDATIONS & MATHEMATICAL THINKING

99 chapters

1. Core Ideas

[Verse 1]
Sarah says "The moon is made of cheese"
Tommy asks "What color is the breeze?"
One declares a fact we can debate
One just questions, leaves our minds to wait
Propositions stake their claim so bold
Either true or false, the story's told

[Chorus]
True or false, never both, never neither
That's the rule for every math believer
Statements that can take a side
Propositions can't run and hide
True or false, pick your stance
Give logic its fighting chance

[Verse 2]
"Seven is a prime number" rings clear
Goldbach's conjecture still unclear
"Every even past two splits in twos"
Primes might add up, but we need more clues
Both are propositions just the same
Truth will out, even if unknown fame

[Chorus]
True or false, never both, never neither
That's the rule for every math believer
Statements that can take a side
Propositions can't run and hide
True or false, pick your stance
Give logic its fighting chance

[Bridge]
But "x plus three equals five today"
Needs a value before it can play
Without knowing what x might be
It's a predicate, roaming free
Questions mark the curious mind
But propositions truth will find

[Verse 3]
"Is twelve divisible by three?"
That's a question, can't you see
Turn it round to make it straight
"Twelve divides by three" - now we can state
Every proposition makes its bet
On reality's roulette

[Chorus]
True or false, never both, never neither
That's the rule for every math believer
Statements that can take a side
Propositions can't run and hide
True or false, pick your stance
Give logic its fighting chance

[Outro]
No middle ground, no maybe so
Propositions always know
Which side of truth they're standing on
Even when the proof's not drawn

2. Logical Connectives

[Verse 1]
When statements dance in logic's realm
Two propositions take the helm
Conjunction joins them hand in hand
Both must be true to make a stand
The "and" symbol holds them tight
Only darkness kills the light

[Chorus]
Connect the dots with symbols bright
And, or, not - they guide our sight
If-then arrows point the way
Same or different, night and day
Logic flows through every gate
Truth and falsehood seal their fate

[Verse 2]
Disjunction opens wider doors
At least one truth is all it scores
Inclusive "or" invites them in
One or both can help you win
Negation flips the script around
What once was lost is newly found

[Chorus]
Connect the dots with symbols bright
And, or, not - they guide our sight
If-then arrows point the way
Same or different, night and day
Logic flows through every gate
Truth and falsehood seal their fate

[Bridge]
Implication's tricky game
False premise breaks the chain
When antecedent tells a lie
The whole statement soars sky-high
But truth to false will always fall

[Verse 3]
Biconditional demands perfection
Mirror images in reflection
Both sides matching, value-bound
Same truth values must be found
If and only if they align
Logic's symmetry divine

[Chorus]
Connect the dots with symbols bright
And, or, not - they guide our sight
If-then arrows point the way
Same or different, night and day
Logic flows through every gate
Truth and falsehood seal their fate

[Outro]
Five connectives rule the board
Mathematical spoken word
Build your arguments with care
Logic's tools are waiting there

3. The Implication Problem

[Verse 1]
If it rains then the ground is wet
This promise seems so simple yet
When logic meets our common sense
The truth can feel quite strange and dense
Rain falls down and pavement's soaked
That's true just like we always hoped

[Chorus]
Implication's just a promise made
Only broken when the price is paid
If the condition isn't even met
The promise stands without regret
Arrow pointing from the left to right
False makes everything alright

[Verse 2]
But what if sprinklers wet the street
On sunny days when there's no sleet
The statement didn't say that rain
Was the only cause of water's stain
So wet ground on a cloudless day
Still keeps our promise true they say

[Chorus]
Implication's just a promise made
Only broken when the price is paid
If the condition isn't even met
The promise stands without regret
Arrow pointing from the left to right
False makes everything alright

[Bridge]
Vacuously true sounds strange I know
When nothing happens, truth can grow
The only way to break the deal
Is when the cause is really real
But then the consequence must fail
That's when our logic starts to wail

[Verse 3]
No rain today and ground stays dry
Our promise soars up in the sky
The rain condition wasn't there
So truth floats freely in the air
This feels so wrong but here's the key
Without this rule no reasoning would be

[Final Chorus]
Implication's just a promise made
Only broken when the price is paid
If the condition isn't even met
The promise stands without regret
Arrow pointing from the left to right
False makes everything alright
When P is false then Q's free
That's how logic has to be

4. Truth Tables

[Verse 1]
When logic meets the table's grid
Every proposition gets dissected
True or false in columns spread
P and Q, their fates connected
Build the rows with every case
Watch the patterns come to life
AND needs both to show its face
OR survives through joy and strife

[Chorus]
Truth tables never lie, they map it all
Tautologies stand tall through every call
Contradictions always fall, no matter what
De Morgan flips the script when negation cuts
NOT of AND becomes OR with NOT
NOT of OR becomes AND with NOT
Flip the switches, read the plot
Truth tables show what logic's got

[Verse 2]
If P then Q can shift its mask
Contrapositive tells the tale
NOT Q then NOT P - same exact task
Different clothes, they never fail
Implication hides as disjunction too
NOT P or Q will do the trick
Negate the arrow, here's your clue
P and NOT Q - logic's quick

[Chorus]
Truth tables never lie, they map it all
Tautologies stand tall through every call
Contradictions always fall, no matter what
De Morgan flips the script when negation cuts
NOT of AND becomes OR with NOT
NOT of OR becomes AND with NOT
Flip the switches, read the plot
Truth tables show what logic's got

[Bridge]
Double negative cancels clean
P returns from NOT NOT's scene
Joint requirements break apart
Fail just one to miss the mark
Neither option means you lack
Both components, that's a fact

[Verse 3]
Sets and probabilities dance the same
Complement of intersection
Union of what's not to blame
Perfect logical reflection
Every compound breaks apart
When you chart each component's role
Fill the table, make your art
Logic's truth will feed your soul

[Chorus]
Truth tables never lie, they map it all
Tautologies stand tall through every call
Contradictions always fall, no matter what
De Morgan flips the script when negation cuts
NOT of AND becomes OR with NOT
NOT of OR becomes AND with NOT
Flip the switches, read the plot
Truth tables show what logic's got

[Outro]
Every column tells a story
Every row reveals the way
Boolean algebra's glory
Lives in tables every day

5. Narrative Arc (Musical Adaptation)

[Verse 1]
Detective walks into the crime scene of proof
Magnifying glass searching for mathematical truth
What do we know sits in the evidence box
What follows next unlocks the logical locks
Gathering clues like puzzle pieces that connect
Each statement leads us closer to what we detect

[Chorus]
Logic is the detective story we tell
AND gathers evidence, builds cases well
OR considers all possibilities in sight
NOT eliminates what cannot be right
IF-THEN follows leads down every trail
IF AND ONLY IF delivers without fail
Every proof's an investigation unfurled
Logic solves the mysteries of the mathematical world

[Verse 2]
The suspect lineup shows us what might be true
Cross-examination reveals what statements do
Contradiction means our theory's gone astray
Valid reasoning points us toward the way
Premises are witnesses that testify
Conclusions are the verdicts we can't deny

[Chorus]
Logic is the detective story we tell
AND gathers evidence, builds cases well
OR considers all possibilities in sight
NOT eliminates what cannot be right
IF-THEN follows leads down every trail
IF AND ONLY IF delivers without fail
Every proof's an investigation unfurled
Logic solves the mysteries of the mathematical world

[Bridge]
Connectives are the tools inside our kit
AND builds the case bit by precious bit
OR keeps options open, never shuts the door
NOT throws out what we can ignore
Implications chain like dominoes that fall
Biconditionals settle it once and for all

[Chorus]
Logic is the detective story we tell
AND gathers evidence, builds cases well
OR considers all possibilities in sight
NOT eliminates what cannot be right
IF-THEN follows leads down every trail
IF AND ONLY IF delivers without fail
Every proof's an investigation unfurled
Logic solves the mysteries of the mathematical world

[Outro]
Case closed when the reasoning runs clean
Mathematics reveals what the evidence means
Every theorem's a mystery we decode
Logic is our compass on the proof-finding road

6. Core Ideas

[Verse 1]
Meet the predicate, a puzzle incomplete
P of x waits patiently for values to meet
"X is even" hangs suspended in the air
Until you plug in four - then truth appears there
P of seven flips to false, the answer's clear
Variables transform what logic can hear

[Chorus]
For all x, there exists a key
Universal, existential - set the predicates free
Upside-down A means every single one
Backwards E means somewhere under the sun
Quantifiers bridge the gap from maybe to must
Turn your floating questions into logical trust

[Verse 2]
Q takes two dancers, x and y in line
"X divides y" - watch the pattern align
Q of three comma twelve rings perfectly true
Q of five comma twelve won't make it through
Multiple variables weave stories untold
Until quantifiers make their meanings bold

[Chorus]
For all x, there exists a key
Universal, existential - set the predicates free
Upside-down A means every single one
Backwards E means somewhere under the sun
Quantifiers bridge the gap from maybe to must
Turn your floating questions into logical trust

[Bridge]
Propositions stand alone, declaring true or false
Predicates need company to find their inner pulse
Universal sweeps the board - claims for everything
Existential hunts for one - what will searching bring

[Verse 3]
From floating fragments to concrete claims
Quantifiers play the binding games
"All numbers are even" - universal's might
"Some number is prime" - existential's sight
Logic builds its towers from these building blocks
Predicates and quantifiers - precision that unlocks

[Chorus]
For all x, there exists a key
Universal, existential - set the predicates free
Upside-down A means every single one
Backwards E means somewhere under the sun
Quantifiers bridge the gap from maybe to must
Turn your floating questions into logical trust

[Outro]
Variables waiting, quantifiers deciding
Mathematical reasoning, crystal clear guiding

7. Negation of Quantified Statements

[Verse 1]
When logic flips the universal claim
"Not all cats purr" becomes the game
Something exists that breaks the mold
One silent feline breaks the hold
Negation turns the whole around
Where exceptions can be found

[Chorus]
Flip the not, switch the sign
Universal becomes existential line
Not for all means one breaks free
Not exists means none you'll see
Quantifiers dance and trade their place
When negation shows its face

[Verse 2]
"Nothing glows" means every single thing
Stays dark without that golden ring
But swap the order, change the rule
Nested quantifiers play by different tool
For every x there's bigger y
Depends on what you specify

[Chorus]
Flip the not, switch the sign
Universal becomes existential line
Not for all means one breaks free
Not exists means none you'll see
Quantifiers dance and trade their place
When negation shows its face

[Bridge]
Order matters when they nest
First you pick, then I suggest
But if I claim one works for all
That's a much more daring call
Real numbers have no ceiling height
But no single peak in sight

[Verse 3]
De Morgan's laws in logic dress
Transform the mess to something less
Parentheses protect the scope
While negation cuts the rope
Every statement has its twin
When the opposite walks in

[Chorus]
Flip the not, switch the sign
Universal becomes existential line
Not for all means one breaks free
Not exists means none you'll see
Quantifiers dance and trade their place
When negation shows its face

[Outro]
Mathematics speaks in precise tongue
Where every symbol must be sung
In perfect order, clear and true
Negation's magic waits for you

8. Reading Mathematical Statements

[Verse 1]
Mathematical statements hide their secrets well
Universal quantifiers cast their spell
"Every function" starts the theorem's dance
"For all" means no exceptions get a chance
When you see those English words unfold
There's formal logic waiting to be told

[Chorus]
Read between the symbols, parse each line
Every theorem's quantified by design
For all, there exists, and if-then too
Mathematical truth is waiting for you
Universal, existential, conditional chains
Precision flows through logical veins

[Verse 2]
"Every continuous function on closed ground
Is bounded" - let's break that statement down
For all f and intervals a to b
If continuous, then bounded it must be
There exists an M that holds them tight
Absolute values stay within its sight

[Chorus]
Read between the symbols, parse each line
Every theorem's quantified by design
For all, there exists, and if-then too
Mathematical truth is waiting for you
Universal, existential, conditional chains
Precision flows through logical veins

[Bridge]
When negation comes to flip the script
Universal turns existential quick
"Not all" becomes "there exists one"
Where the original statement comes undone
Rigorous thinking splits the informal haze
Quantifiers guide us through the maze

[Verse 3]
English hides the structure underneath
Logic symbols show what we believe
Unpack the language, find the core
Hypotheses and conclusions explore
From casual words to formal thought
Precision is the treasure that we've sought

[Chorus]
Read between the symbols, parse each line
Every theorem's quantified by design
For all, there exists, and if-then too
Mathematical truth is waiting for you
Universal, existential, conditional chains
Precision flows through logical veins

[Outro]
Master this skill and you'll understand
How mathematical truth expands
Every statement quantified and clear
Foundation thinking crystallizes here

9. Direct Proof

[Verse 1]
When you need to prove that P leads straight to Q
Start by saying "Let's assume that P is true"
Then you build a bridge with logic as your guide
Each deduction flows like rivers to the tide

Take two even numbers, call them m and n
Write them as two-a and two-b with your pen
Add them up together, factor out the two
Now you've shown their sum is even, clean and through

[Chorus]
Direct proof walks forward, never looking back
Assume your starting point and stay on track
Chain your reasoning link by careful link
From hypothesis to goal, connect each think
Walk the straightest line from here to there
Direct proof shows the path when it's crystal clear

[Verse 2]
When the route seems natural from your starting gate
Don't complicate it—let the logic demonstrate
Each mathematical step builds upon the last
Your conclusion follows from the groundwork you've amassed

If x is positive and y is positive too
Then x times y stays positive—that's what numbers do
Positive times positive never turns around
Direct proof reveals the treasure that you've found

[Chorus]
Direct proof walks forward, never looking back
Assume your starting point and stay on track
Chain your reasoning link by careful link
From hypothesis to goal, connect each think
Walk the straightest line from here to there
Direct proof shows the path when it's crystal clear

[Bridge]
No contradiction needed
No reverse engineering
Just pure forward motion
Watch the truth appearing
Start with what you're given
End with what you seek
Direct proof makes it simple
Elegant and sleek

[Outro]
When in doubt, try direct first
It's the clearest way to go
From assumption to conclusion
Let your logical reasoning flow

10. Proof by Contradiction

[Verse 1]
When you want to prove something's not true
And direct proof just won't break through
There's a clever trick that mathematicians do
Assume the opposite, then see what's new

[Pre-Chorus]
Give that assumption some rope to hang
Let it dance until it breaks its own legs

[Chorus]
Proof by contradiction, set the trap
Assume the negative, then watch it snap
When logic leads to something impossible
R and not-R dancing together
That's your signal the assumption's wrong forever
Contradiction tells the truth at last

[Verse 2]
Take root two, is it rational?
Let's assume it is, seems plausible
Say it's p over q in lowest terms
Greatest common divisor equals one, we confirm

[Chorus]
Proof by contradiction, set the trap
Assume the negative, then watch it snap
When logic leads to something impossible
R and not-R dancing together
That's your signal the assumption's wrong forever
Contradiction tells the truth at last

[Verse 3]
Square both sides, get p squared equals two q squared
So p squared is even, that much is clear
If p squared is even, then p is even too
Write p as two k, see what that will do

[Bridge]
Four k squared equals two q squared
Divide by two, q squared equals two k squared
Now q is even, but wait a minute there
Both p and q are even, that's not fair
We said their gcd was one, but even numbers share
A common factor two, contradiction's in the air

[Chorus]
Proof by contradiction, set the trap
Assume the negative, then watch it snap
When logic leads to something impossible
R and not-R dancing together
That's your signal the assumption's wrong forever
Root two's irrational at last

[Outro]
When something can't exist or isn't true
Contradiction's got the proof for you
Assume, derive, and watch it fall apart
That's the contradictory art

11. Proof by Contrapositive

[Verse 1]
When the proof seems hard to find
And the path is undefined
There's another way to go
Let me teach you what I know
Instead of climbing straight ahead
Take the contrapositive thread
Flip the arrow, flip each side
Let the logic be your guide

[Chorus]
When you can't prove P implies Q
Try not Q implies not P too
Same destination, different road
Going around lifts the heavy load
Contrapositive, contrapositive
Makes the impossible possible
Contrapositive, contrapositive
When direct proof's not workable

[Verse 2]
Take the case of even squares
Direct proof brings lots of cares
If n squared is even, then n's even
But the forward path's not given
Flip it round and see the light
If n is odd, then prove the sight
That n squared must be odd as well
Now the structure starts to tell

[Chorus]
When you can't prove P implies Q
Try not Q implies not P too
Same destination, different road
Going around lifts the heavy load
Contrapositive, contrapositive
Makes the impossible possible
Contrapositive, contrapositive
When direct proof's not workable

[Bridge]
Let n equal two k plus one
Now the algebra's begun
Square it out and you will see
Four k squared plus four k plus one
Factor out the two and find
Two times something plus one's the sign
Of an odd number standing tall
Contrapositive proves it all

[Verse 3]
When existence is your goal
But you can't control the whole
Flip to universal truth
That's your mathematical proof
Concrete structure in your hand
Helps you understand and plan
Round the mountain, not on top
Same arrival, better stop

[Chorus]
When you can't prove P implies Q
Try not Q implies not P too
Same destination, different road
Going around lifts the heavy load
Contrapositive, contrapositive
Makes the impossible possible
Contrapositive, contrapositive
When direct proof's not workable

[Outro]
Flip the arrow, flip each side
Let contrapositive be your guide
Same truth, easier way
Proof by contrapositive saves the day

12. Mathematical Induction

[Verse 1]
When you need to prove infinity's claim
Start with one domino in the chain
Base case first, check it's true
Then assume what P of k can do

[Chorus]
Base and step, that's the trick
Mathematical induction's quick
Prove it works for number one
Then show k leads to k plus one
Dominoes will tumble down
Infinite truth is what we've found

[Verse 2]
Take the sum from one to n
Equals n times n plus one, then divide by two
First check one equals one, it's right
Now assume our formula's tight

[Chorus]
Base and step, that's the trick
Mathematical induction's quick
Prove it works for number one
Then show k leads to k plus one
Dominoes will tumble down
Infinite truth is what we've found

[Bridge]
Add k plus one to both sides clean
Factor out what can be seen
K plus one times k plus two over two
The pattern holds, the proof pulls through

[Verse 3]
Strong induction takes them all
Every case before the call
Well-ordering finds the least
Contradiction ends the feast

[Chorus]
Base and step, that's the trick
Mathematical induction's quick
Prove it works for number one
Then show k leads to k plus one
Dominoes will tumble down
Infinite truth is what we've found

[Outro]
Finite minds prove endless claims
Through induction's clever games
Set the chain and flick the start
Mathematics' beating heart

13. Proof by Cases (Exhaustion)

[Verse 1]
When the problem seems too big to prove
And one approach just will not do
Break it down into separate parts
That's where proof by cases starts
Cover every possibility
Leave no gap for doubt to see
Finite pieces, check them all
Watch the whole solution fall

[Chorus]
Split it up, break it down
Every case must be found
Prove each piece, one by one
Till the whole proof is done
Exhaustion is the key
Cover all you can see
Cases complete, no stone unturned
That's how mathematics is learned

[Verse 2]
Take absolute value times absolute value
X and Y both real and true
Four cases emerge from the divide
Both positive, we can't hide
Both negative, flip the signs
One of each, the proof aligns
Zero present, easy street
Make each case proof complete

[Chorus]
Split it up, break it down
Every case must be found
Prove each piece, one by one
Till the whole proof is done
Exhaustion is the key
Cover all you can see
Cases complete, no stone unturned
That's how mathematics is learned

[Bridge]
Don't miss a case, that's the trap
Leave a hole, proof will snap
Natural partitions guide the way
Finite choices save the day
When no single path will do
Cases method sees you through

[Verse 3]
Check your work, did you cover all
Every branch, both big and small
If a case slips through the cracks
Your whole argument attacks
But when every path is clear
Victory is drawing near
Exhaustive proof stands tall and true
Cases method carried you

[Chorus]
Split it up, break it down
Every case must be found
Prove each piece, one by one
Till the whole proof is done
Exhaustion is the key
Cover all you can see
Cases complete, no stone unturned
That's how mathematics is learned

[Outro]
When the problem's complex and wide
Let the cases be your guide
Split and conquer, prove each part
That's the proof by cases art

14. Existence and Uniqueness Proofs

[Verse 1]
In the realm of proof we start our quest
Show me something real exists at first
Constructive path means point and say
"Here's your object on display"
Like perfect six with one plus two plus three
Exhibit clearly what you need to see

[Chorus]
Existence first, then uniqueness too
Show at least one, then at most one's true
Build your proof in stages clean
Demonstrate what can't be seen
If two objects share the trait
Prove they must be duplicate

[Verse 2]
Non-constructive takes a twisted road
Assume nothing fits your proposed code
Let contradiction rear its head
When non-existence leads to dread
No need to name the hidden prize
Just show denial tells you lies

[Chorus]
Existence first, then uniqueness too
Show at least one, then at most one's true
Build your proof in stages clean
Demonstrate what can't be seen
If two objects share the trait
Prove they must be duplicate

[Verse 3]
For uniqueness take this classic route
Suppose both a and b compute
The property you're testing for
Then show they're equal at the core
If two things satisfy your claim
They must in fact be just the same

[Bridge]
Division algorithm shows the way
Any integer a and b where b's not zero
Quotient q and remainder r appear
With a equals b times q plus r
And zero less than or equals r less than b
Exists unique, as proved theoretically

[Chorus]
Existence first, then uniqueness too
Show at least one, then at most one's true
Build your proof in stages clean
Demonstrate what can't be seen
If two objects share the trait
Prove they must be duplicate

[Outro]
Constructive or by contradiction
Uniqueness needs your clear conviction
Mathematics builds on solid ground
When existence and uniqueness are found

15. √2 is Irrational (The Trap)

[Verse 1]
Let's suppose root two can be reduced
To p over q in simplest form
A rational fraction, clean and neat
Both integers, their bond transformed
We'll follow this assumption's trail
And watch it crumble, watch it fail

[Chorus]
Square both sides, the trap unfolds
Two equals p squared over q squared
Rearrange the story told
Two q squared equals p squared there
Even numbers multiply
Watch the contradiction fly

[Verse 2]
If two q squared equals p squared now
Then p squared must be even, see
Which means that p itself is even too
So write it as two k, the key
Substitute back in our equation
Sets the stage for devastation

[Chorus]
Square both sides, the trap unfolds
Two equals p squared over q squared
Rearrange the story told
Two q squared equals p squared there
Even numbers multiply
Watch the contradiction fly

[Bridge]
Two q squared equals four k squared
Divide by two, we get q squared equals two k squared
Now q squared is even, so q is even too
But wait, we said p over q was reduced through and through
Both p and q are even now, they share a common two
Our simplest form assumption? That assumption wasn't true

[Chorus]
Square both sides, the trap unfolds
Two equals p squared over q squared
Contradiction's tale is told
Our assumption's torn and bared
Rational hopes have said goodbye
Root two's irrational, we can't deny

[Outro]
The suspect's alibi destroyed
By perfect logical precision
Root two cannot be expressed
As any rational decision

16. Infinitude of Primes (The Escape Artist)

[Verse 1]
Euclid had a question burning in his mind
Are there endless primes or just a finite kind?
He said suppose we caught them all inside a cage
Every prime number written on a page

[Pre-Chorus]
Two and three and five and seven
All the primes we think we know
But here's the trick that gets us closer
To the truth we need to show

[Chorus]
Multiply them all together, add just one
Watch the escape artist work, the deed is done
Either it's a brand new prime we've never seen
Or it's divisible by one that's been unseen
No matter how tall the walls, there's always more
The primes will find a way to break down every door
They cannot be corralled, they're infinite and free
The escape artist proves it for eternity

[Verse 2]
Take your list of captured primes, however long
Multiply the whole collection, nothing's wrong
Add a single one and see what you have made
A number that escapes your prime blockade

[Pre-Chorus]
It can't divide by any prime you caught before
The remainder's always one, that's what we know for sure
So either it's prime itself or has a factor
That wasn't in your list, mathematical actor

[Chorus]
Multiply them all together, add just one
Watch the escape artist work, the deed is done
Either it's a brand new prime we've never seen
Or it's divisible by one that's been unseen
No matter how tall the walls, there's always more
The primes will find a way to break down every door
They cannot be corralled, they're infinite and free
The escape artist proves it for eternity

[Bridge]
Constructive contradiction is the key
Assume the opposite and you will see
The logic leads us to a clear conclusion
Finite primes create their own confusion

[Final Chorus]
Multiply them all together, add just one
Watch the escape artist work, the deed is done
Every wall you build, they'll climb right over
The infinitude of primes, the great discoverer
They cannot be corralled, they're infinite and free
The escape artist proves it for eternity

[Outro]
No cage can hold them all
There's always one more prime to call
The numbers climb over every wall
Infinite primes, they never fall

17. Principle of Mathematical Induction (The Domino Chain)

[Verse 1]
Picture dominoes lined up in perfect rows
Each one depends on what the neighbor shows
If first one tumbles and each pushes next
Then every piece will fall as physics expects

But mathematics needs a stricter game
Where logic rules and proof backs every claim
So here's induction, elegant and clean
The strongest method that you've ever seen

[Chorus]
Base case, inductive step, watch them cascade
If P of one is true and transfers get made
From k to k-plus-one without a break
Then every natural number's in your wake
The dominoes must fall, they have no choice
When well-ordering gives structure its voice

[Verse 2]
Start with your base, prove P of one holds true
That's your foundation, solid through and through
Then comes the magic of the inductive leap
Assume P of k, but don't fall asleep

Show that P of k implies the next
P of k-plus-one follows from your text
This chain reaction, once you set it free
Conquers infinite territory

[Chorus]
Base case, inductive step, watch them cascade
If P of one is true and transfers get made
From k to k-plus-one without a break
Then every natural number's in your wake
The dominoes must fall, they have no choice
When well-ordering gives structure its voice

[Bridge]
But why does this work? Let's peek behind
The curtain hiding mathematical mind
Suppose induction fails, some statement breaks
Well-ordering says smallest failure wakes

That counterexample can't be number one
Base case proved that battle's already won
Can't be k-plus-one if P of k succeeds
Inductive step fulfills all logical needs

Contradiction strikes! No failure can exist
The dominoes topple, none can resist

[Chorus]
Base case, inductive step, watch them cascade
If P of one is true and transfers get made
From k to k-plus-one without a break
Then every natural number's in your wake
The dominoes must fall, they have no choice
When well-ordering gives structure its voice

[Outro]
Not just a proof but method supreme
Conquering patterns, the mathematician's dream
From one to infinity, the chain extends
Where logic begins, the falling never ends

18. Core Ideas

[Verse 1]
Collections gather round us, objects in a crowd
Elements are members, standing clear and proud
Distinct means never doubled, each one gets its place
Sets hold all these treasures in their mathematical space

[Chorus]
In or out, that's what it's about
X belongs or doesn't, there's no room for doubt
Curly braces hold them, roster style in line
Builder notation filters by design
Order never matters, repeats fade away
Sets are just their elements, that's the only way

[Verse 2]
One two three in brackets, simple as can be
Three one two in brackets, still the same you see
Write it with some doubles, one one two and three
Axiom of sameness, they're identical to me

[Chorus]
In or out, that's what it's about
X belongs or doesn't, there's no room for doubt
Curly braces hold them, roster style in line
Builder notation filters by design
Order never matters, repeats fade away
Sets are just their elements, that's the only way

[Bridge]
Empty set contains nothing, void of every part
Properties can filter what belongs from the start
X such that condition builds the perfect frame
Extensionality tells us when two sets are the same

[Chorus]
In or out, that's what it's about
X belongs or doesn't, there's no room for doubt
Curly braces hold them, roster style in line
Builder notation filters by design
Order never matters, repeats fade away
Sets are just their elements, that's the only way

[Outro]
Collections pure and simple, mathematics made clear
Every element matters when the picture appears

19. Subsets and Power Sets

[Verse 1]
When every element inside the first
Lives safely in the second burst
We call it subset, symbols clear
A swimming pool within a pier

The empty set's a special case
It fits in every other space
Like shadows hiding in the light
Vacuously it's always right

[Chorus]
Subset means contained within
Every piece finds home again
Power sets grow exponentially 
Two to the n, that's the key
Subset, power set, mathematics
Growing fast, not just dramatics

[Verse 2]
Proper subset's something more
Not equal, that's the core
Strictly smaller, nested tight
Like Russian dolls in plain sight

For every set that you create
The power set will calculate
All possible combinations found
From empty space to full compound

[Chorus]
Subset means contained within
Every piece finds home again
Power sets grow exponentially
Two to the n, that's the key
Subset, power set, mathematics
Growing fast, not just dramatics

[Bridge]
Empty set belongs to all
Even when the first seems small
Every set contains itself
Like a mirror on the shelf

Three elements become eight subsets
Four will give you sixteen bets
Cantor proved what we can see
Power sets grow endlessly

[Chorus]
Subset means contained within
Every piece finds home again
Power sets grow exponentially
Two to the n, that's the key
Subset, power set, mathematics
Growing fast, not just dramatics

[Outro]
From foundations we can climb
Subsets ordered, keeping time
Power sets unlock the door
To infinities and more

20. Set Operations

[Verse 1]
Picture two circles dancing close together
Set A holds numbers, Set B holds letters
When they unite, we call it union
Every element finds its communion
A or B, that's all we need
Union gathers every seed

[Chorus]
Sets colliding, sets combining
Watch the symbols come alive
Union brings them all together
Intersection where they thrive
Difference splits what doesn't match
Complement fills every patch
Set operations, mathematical magic
Making order from the static

[Verse 2]
Intersection finds the overlap zone
Where A and B both call it home
Only elements that live in both
Can join this mathematical oath
The middle space, the shared domain
Where common values break the chain

[Chorus]
Sets colliding, sets combining
Watch the symbols come alive
Union brings them all together
Intersection where they thrive
Difference splits what doesn't match
Complement fills every patch
Set operations, mathematical magic
Making order from the static

[Verse 3]
Set difference takes A minus B away
Removes what B has from A's display
Symmetric difference goes both ways
Subtracts the overlap, keeps the strays
Cartesian product pairs them neat
Makes ordered couples, can't be beat

[Bridge]
Complement flips the universe around
Takes everything that can't be found
In your original set's embrace
Fills the universal space
Every operation tells a story
Of belonging and category

[Chorus]
Sets colliding, sets combining
Watch the symbols come alive
Union brings them all together
Intersection where they thrive
Difference splits what doesn't match
Complement fills every patch
Set operations, mathematical magic
Making order from the static

[Outro]
From empty set to infinite
These tools help organize and fit
Every element in its place
Set theory's elegant embrace

21. De Morgan's Laws for Sets

[Verse 1]
When sets unite, they form a bridge
Elements from both combine
But flip that union to its ridge
The complement draws different lines
Take the opposite of A or B
You get A-not AND B-not, see

[Chorus]
De Morgan flips the game around
Union's complement breaks it down
To intersection of the not
Intersection's complement is what?
Union of the opposite sides
These are the laws that math provides

[Verse 2]
Picture intersection's core
Where both sets overlap and meet
But complement that shared-space floor
The pattern flips, the rule's complete
Not A-and-B becomes so clear
A-not OR B-not will appear

[Chorus]
De Morgan flips the game around
Union's complement breaks it down
To intersection of the not
Intersection's complement is what?
Union of the opposite sides
These are the laws that math provides

[Bridge]
Every element tells its tale
Either in or outside bounds
Negation switches without fail
AND becomes OR when flipped around
OR becomes AND in reverse
Mathematical universe

[Verse 3]
Sets are logic in disguise
Each member answers true or false
When complements materialize
The operations trade their roles
Element by element we see
How logic builds reality

[Final Chorus]
De Morgan flips the game around
Union's complement breaks it down
To intersection of the not
Intersection's complement is what?
Union of the opposite sides
Mathematics never lies

[Outro]
From sets to logic, logic back to sets
The patterns never fade
Complement the union, intersection you get
That's how these laws are made

22. The Paradox

[Verse 1]
Let me tell you 'bout a clever mathematician's game
Russell found a puzzle that would never be the same
He gathered all the sets that don't hold themselves inside
A collection so peculiar, contradictions can't hide

[Pre-Chorus]
Build a box of every box that doesn't hold its name
But when you ask the question, who's really to blame?

[Chorus]
Russell's Paradox, spinning round and round
Does R belong to R? No answer can be found
If it's in, then it's out, if it's out, then it's in
The circle never stops, where does logic begin?
Russell's Paradox, showed us something's wrong
Naive set theory couldn't sing this song

[Verse 2]
Take every set that's not a member of itself
Stack them on the mathematical shelf
But now we've got a problem with our brand new creation
Does our Russell set deserve self-classification?

[Pre-Chorus]
Check the definition, follow every rule
But logic starts to crumble like a broken tool

[Chorus]
Russell's Paradox, spinning round and round
Does R belong to R? No answer can be found
If it's in, then it's out, if it's out, then it's in
The circle never stops, where does logic begin?
Russell's Paradox, showed us something's wrong
Naive set theory couldn't sing this song

[Bridge]
Comprehension principle seemed so clean and neat
"Any property makes a set complete"
But Russell proved that freedom has a price
Some collections just can't roll the dice
We need axioms with boundaries drawn tight
Powerful enough for math, restrictive enough to get it right

[Final Chorus]
Russell's Paradox, taught us how to see
Not every bunch of things can claim to be
A proper set with membership so clear
Some contradictions we should always fear
Russell's Paradox, wisdom from the past
Build your foundations right, make them last

[Outro]
When you're building mathematics from the ground
Make sure your logic stays completely sound

23. The Zermelo-Fraenkel Axioms (with Choice)

[Verse 1]
In the realm where mathematics grows precise
We need rules to build our paradise
Not defining what a set could be
Just declaring what exists, you see
Extensionality starts the show
Two sets equal when their contents flow
Exactly matching, element by element
No hidden differences, no argument

[Chorus]
ZFC axioms, ten foundations strong
Empty set and pairing, singing set theory's song
Union, power, infinite chains
Separation blocks the paradox pains
Replacement builds and Foundation guards
Choice selects from scattered shards
These are the rules that make sets real
ZFC axioms, mathematics' steel

[Verse 2]
Empty set exists with nothing inside
Pairing takes two sets for a ride
Makes a new one holding both as treasure
Union gathers collections beyond measure
Power set creates all subsets dancing
Infinity gives us numbers advancing
Zero, successor, successor again
Natural numbers in an endless chain

[Chorus]
ZFC axioms, ten foundations strong
Empty set and pairing, singing set theory's song
Union, power, infinite chains
Separation blocks the paradox pains
Replacement builds and Foundation guards
Choice selects from scattered shards
These are the rules that make sets real
ZFC axioms, mathematics' steel

[Bridge]
Separation says you cannot form
Sets from nothing but the storm
Start with something, filter down
Russell's paradox won't come around
Replacement maps with function's grace
Foundation keeps sets in their place
No descending membership falls
Choice picks elements through it all

[Chorus]
ZFC axioms, ten foundations strong
Empty set and pairing, singing set theory's song
Union, power, infinite chains
Separation blocks the paradox pains
Replacement builds and Foundation guards
Choice selects from scattered shards
These are the rules that make sets real
ZFC axioms, mathematics' steel

[Outro]
From these ten axioms, mathematics blooms
Set theory fills up all the rooms
What exists and what we can create
ZFC seals mathematics' fate

24. The Axiom of Choice: Power and Controversy

[Verse 1]
In the halls where logic dwells, there's a statement strange and bold
Says you can pick from every box without a method to behold
No construction, no direction, just the faith that choice exists
When infinity's collections leave your fingers in the mist

[Chorus]
Axiom of Choice, the phantom selector
Zorn's Lemma whispers, Well-Ordering protector
Every set can dance in perfect parade
But the ghosts it conjures make mathematicians afraid
Choice without voice, power without proof
Beautiful theorems beneath controversy's roof

[Verse 2]
Vector spaces find their backbone, every basis guaranteed
Products multiply like magic, topology's greatest need
Tychonoff and Hahn-Banach owe their lives to this decree
But lurking in the shadows waits a terrible mystery

[Chorus]
Axiom of Choice, the phantom selector
Zorn's Lemma whispers, Well-Ordering protector
Every set can dance in perfect parade
But the ghosts it conjures make mathematicians afraid
Choice without voice, power without proof
Beautiful theorems beneath controversy's roof

[Bridge]
Vitali sets emerge unmeasured, length becomes a phantom word
Banach-Tarski splits the apple, one ball becomes a pair absurd
Gödel proved we cannot banish, Cohen showed we cannot prove
Independence reigns eternal in this mathematical groove

[Verse 3]
So we stand before the crossroads, useful power in our palm
Accept the non-constructive blessing or abandon theorem's calm
Philosophy dressed as axiom, beauty wrapped in doubt's embrace
The choice to make about the Choice that haunts our reasoning space

[Outro]
In ZF we trust the basics, but AC remains apart
A question mark in formal robes that challenges the heart

25. Countability

[Verse 1]
When two sets share the very same size
There's a bridge between them we can devise
A bijection maps each element through
One-to-one correspondence, perfectly true
Count the naturals, one two three four
But integers seem like so much more

[Chorus]
Countable or not, that's the question we face
Can we match it with naturals in infinite space
Bijection's the key, the golden thread
Some infinities larger than we ever dreamed
Countable sets dance with naturals in line
Uncountable sets break that design

[Verse 2]
Integers zigzag, zero one minus-one two
Cantor proved rationals countable too
Through his clever grid, fractions align
Diagonally swept in organized time
Even pairs of naturals bow to the count
Dovetailing through each infinite amount

[Chorus]
Countable or not, that's the question we face
Can we match it with naturals in infinite space
Bijection's the key, the golden thread
Some infinities larger than we ever dreamed
Countable sets dance with naturals in line
Uncountable sets break that design

[Bridge]
But reals resist the counting game
Cantor's diagonal brings them shame
Binary sequences stretch beyond reach
Power sets tower past what we can teach
No bijection spans that mighty gulf
Uncountable infinities, proud and full

[Verse 3]
Algebraic numbers still play along
Countable unions keep the song
But characteristic functions reveal
The power set's uncountable deal
Zero-one sequences infinite and wild
Mathematics' most rebellious child

[Chorus]
Countable or not, that's the question we face
Can we match it with naturals in infinite space
Bijection's the key, the golden thread
Some infinities larger than we ever dreamed
Countable sets dance with naturals in line
Uncountable sets break that design

[Outro]
Cardinality shows us infinity's face
Some countable, some beyond natural's embrace

26. Cantor's Diagonal Argument

[Verse 1]
You claim you've mapped every decimal place
Between zero and one, complete embrace
Written down each number in perfect rows
But I'll build a weapon from what you propose

Look at your list, see the pattern emerge
Diagonal digits, where math worlds converge
First number's first, second number's second place
I'll twist each digit, leave not a trace

[Chorus]
Your blueprint becomes your own defeat
The diagonal shows your list's incomplete
Change every digit down that line
Create a number you'll never find
Cantor's arrow pierces through
The infinite hole inside of you
Your map has a missing street
The diagonal makes defeat complete

[Verse 2]
Row one gives 0.7349...
Row two gives 0.2846...
Down the spine, I harvest gold
Sevens become fours, the story's told

Twos turn to threes, eights become ones
Avoiding zeros, nines I shun
My constructed rebel fits your space
But lives outside your number base

[Chorus]
Your blueprint becomes your own defeat
The diagonal shows your list's incomplete
Change every digit down that line
Create a number you'll never find
Cantor's arrow pierces through
The infinite hole inside of you
Your map has a missing street
The diagonal makes defeat complete

[Bridge]
This twisted logic appears again
In Gödel's maze and Turing's pen
Self-reference cuts like sharpened steel
Makes incomplete what should be real

The enumeration builds the blade
That cuts the throat of claims it made
Forever more than you can count
Infinity's insurmountable mount

[Chorus]
Your blueprint becomes your own defeat
The diagonal shows your list's incomplete
Change every digit down that line
Create a number you'll never find
Cantor's arrow pierces through
The infinite hole inside of you
Your map has a missing street
The diagonal makes defeat complete

[Outro]
Between zero and one lies vast terrain
Too wild for any counting chain
The diagonal whispers what we've learned
Some bridges can never be returned

27. Cantor's Theorem

[Verse 1]
Take any set you know by heart
Count every element inside
Now build its power set apart
Each subset waits to be your guide
The members multiply like stars
No mapping scheme will ever reach
From old to new, the distance far
Cantor's wisdom starts to teach

[Chorus]
Size of S is always smaller
Than its power set's domain
P of S grows ever taller
No surjection can contain
Diagonal proof cuts through the maze
Shows the gap that never fades
Infinity has endless ways
To build new mathematical trades

[Verse 2]
Start with naturals, aleph-null
First infinity we meet
But P of N breaks every rule
Makes continuum complete
Two to the aleph-null we find
Then power set again we take
Each level leaves the last behind
New cardinals in our wake

[Chorus]
Size of S is always smaller
Than its power set's domain
P of S grows ever taller
No surjection can contain
Diagonal proof cuts through the maze
Shows the gap that never fades
Infinity has endless ways
To build new mathematical trades

[Bridge]
No largest cardinal exists today
The tower climbs without an end
P of P of P all the way
Each floor transcends what we extend
Suppose a function onto tries
The diagonal will prove it wrong
Self-reference cuts the ties
To any mapping scheme too strong

[Chorus]
Size of S is always smaller
Than its power set's domain
P of S grows ever taller
No surjection can contain
Diagonal proof cuts through the maze
Shows the gap that never fades
Infinity has endless ways
To build new mathematical trades

[Outro]
Cantor showed us truth profound
No set maps onto its power crown
In the realm where logic's sound
Hierarchies spiral up, not down

28. The Continuum Hypothesis

[Verse 1]
Between the naturals and the reals
There lies a question math reveals
Are there sets that fit between
These infinities we've always seen
Aleph-null counts the integers
But real numbers go much further

[Chorus]
The Continuum Hypothesis stands alone
Can't be proved, can't be overthrown
No middle ground between the two
Aleph-one equals reals, is it true?
Independent from our axioms
This mystery will keep on living

[Verse 2]
Gödel showed in nineteen-forty
That assuming it's not faulty
ZFC remains consistent
Cohen proved the oppositeistent
Nineteen sixty-three he found
Negation keeps the system sound

[Chorus]
The Continuum Hypothesis stands alone
Can't be proved, can't be overthrown
No middle ground between the two
Aleph-one equals reals, is it true?
Independent from our axioms
This mystery will keep on living

[Bridge]
Countable infinity
Uncountable reality
Where does the gap lie?
Mathematics asks us why
Some truths we cannot reach
Beyond what axioms teach

[Verse 3]
Cardinals climb the ladder high
Aleph-null is where we start to fly
But what comes next in order?
Is there anything that borders
The power of the real line?
This question transcends space and time

[Chorus]
The Continuum Hypothesis stands alone
Can't be proved, can't be overthrown
No middle ground between the two
Aleph-one equals reals, is it true?
Independent from our axioms
This mystery will keep on living

[Outro]
In the realm of set theory
Some questions stay in mystery
Neither true nor false we find
The limits of the human mind

29. The Cantor-Bernstein-Schröder Theorem

[Verse 1]
Two sets standing face to face, measuring their size
Alice maps to Bob completely, each element finds its place
One-to-one but not exhaustive, arrows pointing right
Bob sends functions back to Alice, mirroring the sight

[Chorus]
If A fits into B, and B fits into A
Then they're exactly equal, that's what mathematicians say
Injection both directions means bijection lives between
Cantor-Bernstein-Schröder, the theorem reigns supreme
No need to build the bridge direct, just prove the paths exist
Two one-way streets become a highway, paradox dismissed

[Verse 2]
Infinite hotels cause confusion, guests in endless rows
Hilbert's puzzles seem impossible when intuition grows
But this theorem cuts through chaos, brings order to the strange
Equal cardinalities emerge from injection's range

[Chorus]
If A fits into B, and B fits into A
Then they're exactly equal, that's what mathematicians say
Injection both directions means bijection lives between
Cantor-Bernstein-Schröder, the theorem reigns supreme
No need to build the bridge direct, just prove the paths exist
Two one-way streets become a highway, paradox dismissed

[Bridge]
Constructive proof eludes us, but existence is enough
When mapping seems impossible, this theorem calls the bluff
Three names upon the banner, their legacy remains
Comparing vast infinities through logical chains

[Chorus]
If A fits into B, and B fits into A
Then they're exactly equal, that's what mathematicians say
Injection both directions means bijection lives between
Cantor-Bernstein-Schröder, the theorem reigns supreme

[Outro]
Sets that seemed unequal, now we know they match
Bidirectional injections, that's the perfect catch

30. Cantor's Diagonal (The Escapee)

[Verse 1]
They claimed they caught every real number
Listed them all in perfect order
First decimal, second, third and more
In rows extending past forever's border
But Georg had blueprints in his pocket
A master thief with mathematician's eye
He saw the pattern they'd forgotten
Their own creation would teach him how to fly

[Chorus]
Diagonal escape, read the prison plans
Take the first from first, second from second's hands
Flip each digit that you steal along the way
Build a number that's not on their list today
Cantor's diagonal, the great escapee
Shows infinity's got more than one degree

[Verse 2]
Point four, one, five from row number one
Zero, three from the second line begun
Seven, seven, two pulled from position three
Each stolen digit holds the master key
Now flip them all, zero becomes nine
Five turns to four in this grand design
The number you've forged can't possibly be
On their list, though they swore it held every real that could be

[Chorus]
Diagonal escape, read the prison plans
Take the first from first, second from second's hands
Flip each digit that you steal along the way
Build a number that's not on their list today
Cantor's diagonal, the great escapee
Shows infinity's got more than one degree

[Bridge]
They check row one, but your first digit's wrong
Row two won't match, you've changed the second all along
Every single line differs from your creation
Their complete list just proved its own limitation

[Chorus]
Diagonal escape, read the prison plans
Take the first from first, second from second's hands
Flip each digit that you steal along the way
Build a number that's not on their list today
Cantor's diagonal, the great escapee
Shows infinity's got more than one degree

[Outro]
The weapon they gave you was the list itself
Every enumeration destroys itself

31. Russell's Paradox (The Self-Devouring Set)

[Verse 1]
Bertrand Russell posed a question that would shake the world
What happens when we gather sets in ways that twist and curl
Imagine all the sets that never hold themselves inside
A catalog of outsiders with nowhere left to hide

[Chorus]
Russell's paradox is knocking at the door
Self-devouring sets can't exist anymore
If it holds itself then it cannot belong
If it stays outside then the logic goes wrong
Contradiction's dancing in the mirror
Self-reference makes the truth unclear

[Verse 2]
Picture every library that doesn't list its name
Within its own directory, playing logic's game
Should this meta-catalog include itself or not
Either choice will trap you in a philosophical knot

[Chorus]
Russell's paradox is knocking at the door
Self-devouring sets can't exist anymore
If it holds itself then it cannot belong
If it stays outside then the logic goes wrong
Contradiction's dancing in the mirror
Self-reference makes the truth unclear

[Bridge]
Like a sentence claiming that it tells a lie
Eating its own tail until the meaning dies
Gödel heard the echo, Cantor felt the sting
When infinity meets logic, chaos starts to sing

[Verse 3]
So we learned to build our mathematics with more care
Axioms and boundaries to keep the demons there
ZFC set theory draws the lines we cannot cross
Russell saved us from the infinite loss

[Final Chorus]
Russell's paradox was knocking at the door
Self-devouring sets can't exist anymore
Now we know the limits where our logic must bend
Self-reference without rules brings mathematics to an end
Contradiction's sleeping in the corner
Truth needs rules to make it stronger

32. Cantor's Theorem (The Never-Ending Staircase)

[Verse 1]
Count every number that you know by name
One, two, three, four - seems like a simple game
But take those numbers, make a bigger collection
Every subset hiding in their reflection
Two to the power of however many you start
That's the magic tearing infinity apart

[Chorus]
Never-ending staircase, climbing floor by floor
Every time you reach the top, there's always something more
Power sets keep growing, doubling what you had
Cantor showed us truth that drives mathematicians mad
No ceiling, no limit, just stairs that multiply
The staircase builds itself into an endless sky

[Verse 2]
Start with just three elements, call them A, B, C
Their power set contains eight possibilities
Empty set, each single piece, then pairs combined
Plus the set of all three - infinity redefined
Each level births the next one, twice as vast and wide
No matter where you stand, there's more on the other side

[Chorus]
Never-ending staircase, climbing floor by floor
Every time you reach the top, there's always something more
Power sets keep growing, doubling what you had
Cantor showed us truth that drives mathematicians mad
No ceiling, no limit, just stairs that multiply
The staircase builds itself into an endless sky

[Bridge]
Even infinite sets bow to this cosmic law
Their power sets stretch beyond what minds can draw
Aleph-null meets aleph-one in this parade
Each infinity spawning larger infinities made
The theorem whispers: "Think you've found the end?
Watch me build another floor around the bend"

[Chorus]
Never-ending staircase, climbing floor by floor
Every time you reach the top, there's always something more
Power sets keep growing, doubling what you had
Cantor showed us truth that drives mathematicians mad
No ceiling, no limit, just stairs that multiply
The staircase builds itself into an endless sky

[Outro]
So when you think you've counted everything that is
Remember Cantor's gift, this mathematical quiz
The power set's always larger than the set you knew
Forever building upward, making one from two

33. Core Ideas

[Verse 1]
In mathematics we need a way
To show how elements can relate
Take a set called A, now here's the key
We'll build relations systematically

A binary relation R you see
Is just a subset of A cross A
When element a connects to b
We write it as aRb

[Chorus]
Relations, relations, connecting the dots
Ordered pairs in a subset, that's what we've got
aRb means a relates to b
Binary relations, the foundation key
A cross A, pick and choose
Which pairs follow the relation rules

[Verse 2]
Let's see some examples, make it clear
Numbers and the "less than or equal" here
Three relates to five because it's true
Three is less than five, so we're through

The ordered pair three comma five
Lives in our relation set, alive
In the integers this pattern flows
Less than or equal, that's how it goes

[Chorus]
Relations, relations, connecting the dots
Ordered pairs in a subset, that's what we've got
aRb means a relates to b
Binary relations, the foundation key
A cross A, pick and choose
Which pairs follow the relation rules

[Verse 3]
"Divides" relation on natural numbers
Three divides twelve, no need to wonder
Since twelve equals three times four
This ordered pair is in our store

Or think of people, family tree
"Sibling of" relation, you and me
If John's related to his sister Jane
Then that pair's in our relation chain

[Bridge]
From A cross A we take a part
That's how relations get their start
Not every pair needs to belong
Just those that make the relation strong

[Chorus]
Relations, relations, connecting the dots
Ordered pairs in a subset, that's what we've got
aRb means a relates to b
Binary relations, the foundation key
A cross A, pick and choose
Which pairs follow the relation rules

[Outro]
Binary relations, now you know
How mathematical connections grow
From ordered pairs to patterns clear
Relations make the structure here

34. Properties of Relations

[Verse 1]
In the kingdom of relations, four guardians stand
Reflexive whispers "every element holds its own hand"
When a relates to a, no exceptions allowed
Like less-than-or-equal, it makes numbers proud

[Chorus]
Reflexive loops back home
Symmetric swaps the throne
Antisymmetric locks it down tight
Transitive builds a bridge through the night
Properties dancing in mathematical space
Each one wearing a different face

[Verse 2]
Symmetric plays the mirror game
If a connects to b, then b does the same
Equality's the perfect friend
What goes one way comes back again

[Chorus]
Reflexive loops back home
Symmetric swaps the throne
Antisymmetric locks it down tight
Transitive builds a bridge through the night
Properties dancing in mathematical space
Each one wearing a different face

[Verse 3]
Antisymmetric guards the gate
If both directions terminate
At the very same location
Then those elements share one foundation

[Bridge]
Transitive builds chains so strong
If a to b and b to c belong
Then a to c must also flow
Like dominoes in a perfect row

[Verse 4]
Don't be fooled by the names they wear
Symmetric and anti can both be there
Equality holds both crowns at once
Relations break our simple hunts

[Final Chorus]
Reflexive loops back home
Symmetric swaps the throne
Antisymmetric locks it down tight
Transitive builds a bridge through the night
Four properties in one relation's embrace
Mathematics wearing every face

[Outro]
In the algebra of connections made
These four properties never fade
Check each one with careful eyes
Relations hold such sweet surprise

35. Equivalence Classes

[Verse 1]
When differences don't matter anymore
We build relations that ignore the noise
Reflexive, symmetric, transitive core
Creates a lens that simplifies our choice
Take all the elements that share the same fate
Group them together, seal their common trait

[Chorus]
Equivalence classes, sorting what's the same
Bracket notation marks each family name
From chaos comes order, partition the whole
Disjoint union dancing, that's the theorem's goal
A tilde relation cuts through all confusion
Makes abstract essence from the grand illusion

[Verse 2]
In integers mod three, there's just three kinds
Zero, one, two - that's all your remainder finds
Seven and four both wear the bracket one
Different faces but their essence weighs a ton
The quotient set emerges, clean and bright
Three buckets holding infinite insight

[Chorus]
Equivalence classes, sorting what's the same
Bracket notation marks each family name
From chaos comes order, partition the whole
Disjoint union dancing, that's the theorem's goal
A tilde relation cuts through all confusion
Makes abstract essence from the grand illusion

[Bridge]
Selective blindness is the mathematician's art
Ignore what's noise, preserve what matters to the heart
Each class contains its representative crown
One speaks for all when definitions come around
The fundamental theorem shows the way
Relations and partitions - two sides of the same display

[Chorus]
Equivalence classes, sorting what's the same
Bracket notation marks each family name
From chaos comes order, partition the whole
Disjoint union dancing, that's the theorem's goal
A tilde relation cuts through all confusion
Makes abstract essence from the grand illusion

[Outro]
A over tilde, the quotient set appears
Simplified objects after all these years
What once seemed different now reveals its twin
Equivalence relations - let abstraction begin

36. Definition

[Verse 1]
From domain A to codomain B
A function maps with precision key
Not every arrow needs a formula's face
Just one output for each input's place
Your birthday mapped to calendar squares
No equation needed, just who goes where

[Chorus]
One input, one output, that's the sacred rule
Domain to codomain, mathematical tool
Image shows where outputs actually land
Preimage traces back through function's hand
Mapping is the magic, not the written form
One-to-one assignment keeps the function warm

[Verse 2]
Domain holds the inputs waiting in line
Codomain's the space where answers align
But image tells the truth of where we really go
Subset of codomain, the actual show
F inverse of S pulls backwards through time
Finding every input that crossed that line

[Chorus]
One input, one output, that's the sacred rule
Domain to codomain, mathematical tool
Image shows where outputs actually land
Preimage traces back through function's hand
Mapping is the magic, not the written form
One-to-one assignment keeps the function warm

[Bridge]
Real numbers squared or names to dates
Functions live beyond formula gates
Relation yes, but special kind
Uniqueness keeps the mapping refined

[Chorus]
One input, one output, that's the sacred rule
Domain to codomain, mathematical tool
Image shows where outputs actually land
Preimage traces back through function's hand
Mapping is the magic, not the written form
One-to-one assignment keeps the function warm

[Outro]
Every element must have its mate
Exactly one, that seals function's fate

37. Types of Functions

[Verse 1]
Picture arrows flying from set A to B
Each one landing where it's meant to be
Injective means no crowding at the target
Different inputs keep their distance, never market
The same output twice, that's the golden rule
One-to-one mapping, mathematician's jewel

[Chorus]
Functions have their personalities
Injective, surjective, bijective qualities
Arrows tell the story, watch them as they fly
One-to-one means spreading out across the sky
Onto means every target gets its share
Bijective is the perfect love affair

[Verse 2]
Surjective paints a different kind of scene
Every element in B must be seen
At least one arrow finds each destination
No lonely points in this equation
Onto function covers all the ground
Every output value must be found

[Chorus]
Functions have their personalities
Injective, surjective, bijective qualities
Arrows tell the story, watch them as they fly
One-to-one means spreading out across the sky
Onto means every target gets its share
Bijective is the perfect love affair

[Bridge]
When injection meets surjection
That's bijection's sweet connection
Perfect pairing, nothing missed
Every element gets kissed
Exactly once, no more, no less
Mathematical tenderness

[Verse 3]
Test injection with this clever phrase
If outputs match, inputs must be the same always
For surjection, scan the codomain
No element should cry alone in vain
Bijection builds the strongest bridge
A flawless mathematical privilege

[Chorus]
Functions have their personalities
Injective, surjective, bijective qualities
Arrows tell the story, watch them as they fly
One-to-one means spreading out across the sky
Onto means every target gets its share
Bijective is the perfect love affair

[Outro]
From domain to codomain the arrows dance
Giving every function its chance
To show its type with crystal clarity
One-to-one, onto, or both in harmony

38. Composition

[Verse 1]
When functions dance in sequence neat
From A to B, then B to C
First f takes you to the street
Then g completes the journey free
We write it backwards, strange but true
G circle f means f then g
The path flows through what functions do
A straight shot to your destiny

[Chorus]
Composition chains them tight
Read it backwards, left to right
First apply f, then apply g
G circle f is what you see
Properties preserve their might
Injective stays injective bright
Surjective keeps its surjective flight
Bijective holds bijective sight

[Verse 2]
When arrows point from set to set
The middle link must always match
Domain B can't be upset
It bridges every function batch
Associative like multiplication
Parentheses can shift around
But order matters, no equation
Commutative can't be found

[Chorus]
Composition chains them tight
Read it backwards, left to right
First apply f, then apply g
G circle f is what you see
Properties preserve their might
Injective stays injective bright
Surjective keeps its surjective flight
Bijective holds bijective sight

[Bridge]
G of f of a, that's the rule
Apply the functions like a tool
One-to-one stays one-to-one
Onto stays when composition's done
H circle, G circle F
Grouping changes, result's the same
But flip them round, you'll need your breath
G circle F and F circle G aren't the same game

[Outro]
Function composition's art
Backward notation, forward heart
Chain reactions, pure and clean
Mathematical machine

39. Inverse Functions

[Verse 1]
Functions map from set A to set B
But can we trace our footsteps back?
Only when each element's destiny
Is one-to-one without a crack
Bijection holds the golden key
Injective meets surjective track

[Chorus]
Inverse exists when f is both ways clean
One-to-one and onto the scene
f inverse of f equals identity A
f of f inverse identity B
Perfect mirror, perfect symmetry
That's the inverse function guarantee

[Verse 2]
Left inverse means injection's true
g composed with f gives us A
Right inverse shows surjection's due
f composed with g returns to B
But when you have them both in view
They must be equal, can't you see?

[Chorus]
Inverse exists when f is both ways clean
One-to-one and onto the scene
f inverse of f equals identity A
f of f inverse identity B
Perfect mirror, perfect symmetry
That's the inverse function guarantee

[Bridge]
One-sided tells a different tale
Left inverse proves injection's there
Right inverse makes surjection sail
But full inverse needs both to share
When composition circles back again
Domain and codomain remain

[Chorus]
Inverse exists when f is both ways clean
One-to-one and onto the scene
f inverse of f equals identity A
f of f inverse identity B
Perfect mirror, perfect symmetry
That's the inverse function guarantee

[Outro]
Bijection builds the bridge complete
Where forward and backward paths meet
Every element finds its match
No collisions, nothing to catch

40. Cardinality via Functions

[Verse 1]
When sets are dancing, side by side
How do we know their matching size?
Functions hold the secret key
Bijections show equality

Every element finds its pair
Perfect matching, nothing spare
One-to-one and onto too
That's how cardinality breaks through

[Chorus]
Same size means bijection's there
Arrows pointing everywhere
Less than means injection flows
But bijection never shows
Equal sets have perfect maps
Bridge the mathematical gaps
Functions tell us who's how big
That's the cardinality gig

[Verse 2]
Injection means we're flowing clean
No collisions in between
Each input gets its own address
But outputs might be loneliness

Some targets sitting all alone
No arrows calling them their home
This tells us A is small or same
As B within this mapping game

[Chorus]
Same size means bijection's there
Arrows pointing everywhere
Less than means injection flows
But bijection never shows
Equal sets have perfect maps
Bridge the mathematical gaps
Functions tell us who's how big
That's the cardinality gig

[Bridge]
Strictly smaller needs a twist
Injection yes, bijection missed
Can't find that perfect dancing floor
Where every guest gets something more

Cantor showed us infinite ways
Sets can grow through function maze
Even numbers, naturals too
Bijections make them equal through

[Verse 3]
Formal symbols paint the scene
Vertical bars show what we mean
A's size compared to B's domain
Through functions we can ascertain

Less than equal, just a shot
Perfect match or maybe not
Equal means the bridge is built
Every element finds its guilt

[Final Chorus]
Same size means bijection's there
Arrows pointing everywhere
Less than means injection flows
But bijection never shows
Equal sets have perfect maps
Bridge the mathematical gaps
Functions tell us who's how big
That's the cardinality gig

[Outro]
Count through functions, not through numbers
That's where true mathematics slumbers
Bijections are the golden thread
Weaving sets from A to Z

41. Equivalence Relations Partition Sets (The Sorting Hat)

[Verse 1]
In the great hall of mathematics where the sorting hat decides
Every element must find its home, there's nowhere left to hide
The Sorting Hat of equivalence reads each relation's spell
"You belong with all your equals" is the story it will tell

[Chorus]
Every element gets sorted, no orphans left behind
Each class holds perfect equals, relations well-defined
Either identical or strangers, no overlap in sight
The Sorting Hat partitions all, each house sealed up tight

[Verse 2]
If two classes share a member, here's the magical twist
By equivalence they merge as one, they cannot coexist
Alice and Bob's houses meet? Then houses become the same
The partition law demands it, this is equivalence's game

[Chorus]
Every element gets sorted, no orphans left behind
Each class holds perfect equals, relations well-defined
Either identical or strangers, no overlap in sight
The Sorting Hat partitions all, each house sealed up tight

[Bridge]
Proof by contradiction shows us why the magic works so well
If classes A and B both claim young Charlie for their spell
Then A equals B completely, not two houses but just one
The Sorting Hat's great wisdom leaves no element undone

[Verse 3]
Reflexive means you know yourself, symmetric swaps with ease
Transitive chains connect us all through equivalence's keys
The Hat reads these three properties and sorts without mistake
A perfect partition emerges from the choices that it makes

[Final Chorus]
Every element gets sorted, no orphans left behind
Each class holds perfect equals, relations well-defined
Either identical or strangers, no overlap in sight
The Sorting Hat partitions all, the math works out just right

[Outro]
When equivalence relations rule, the universe divides
Into houses neat and tidy where each element resides

42. Schröder-Bernstein Theorem (The Matching Miracle)

[Verse 1]
Two functions walking different ways
One from A to B displays
Another from B back to A
Each injection finds its place
Neither surjective, incomplete
But something magical we'll meet

[Chorus]
When arrows flow both directions
We can weave perfect connections
Schröder-Bernstein shows the way
Matching miracle at play
If each side fits the other's frame
Then both collections are the same

[Verse 2]
Follow chains that bounce around
Elements seeking to be found
Some will cycle, some will end
Watch the patterns twist and bend
Build our bijection piece by piece
Let the interweaving increase

[Chorus]
When arrows flow both directions
We can weave perfect connections
Schröder-Bernstein shows the way
Matching miracle at play
If each side fits the other's frame
Then both collections are the same

[Bridge]
Take the chains that start in A minus f-inverse of B
Keep original injection's destiny
For remaining elements switch
Use the backward-pointing switch
Partial matchings now complete
Perfect pairing, theorem sweet

[Chorus]
When arrows flow both directions
We can weave perfect connections
Schröder-Bernstein shows the way
Matching miracle at play
If each side fits the other's frame
Then both collections are the same

[Outro]
Two injections guarantee
Equal cardinality
The matching miracle rings true
Bijection waiting there for you

43. Peano Axioms

[Verse 1]
Zero stands alone, the starting gate
No parent made it, no prior state
Every number finds its next in line
Successor function, step by step divine
One follows zero, two follows one
Building blocks when math's begun

[Chorus]
Peano's axioms, foundation stones
Zero first, then successors grown
No reverse path leads to zero's door
Injective steps, each one unique and pure
Induction's net catches every case
Natural numbers find their rightful place

[Verse 2]
If successors match, their parents too
Must be identical through and through
No circular paths can twist and bend
Back to zero where all chains must end
S of m equals S of n
Means m and n are twins again

[Chorus]
Peano's axioms, foundation stones
Zero first, then successors grown
No reverse path leads to zero's door
Injective steps, each one unique and pure
Induction's net catches every case
Natural numbers find their rightful place

[Bridge]
From these five rules, addition grows
Recursive patterns, nobody knows
Multiplication builds from there
No assumptions, crystal clear
DNA of counting's art
These axioms, the beating heart

[Verse 3]
If a set holds zero tight
And successor closure's right
Then every natural must belong
Induction makes the argument strong
Plus zero equals just itself
Plus successor builds more wealth

[Chorus]
Peano's axioms, foundation stones
Zero first, then successors grown
No reverse path leads to zero's door
Injective steps, each one unique and pure
Induction's net catches every case
Natural numbers find their rightful place

[Outro]
From nothing built, the numbers rise
No circular disguise
Five axioms unlock the gate
To arithmetic's estate

44. The Problem

[Verse 1]
Started counting fingers, one by one
Natural numbers dancing in the sun
Zero, one, two, three, they march in line
But something's missing in this grand design

When I try to go backwards from three to five
The answer vanishes, won't arrive
No additive inverse can be found
In natural's realm, we're glory-bound

[Chorus]
Natural numbers have no way back home
No additive inverse, they stand alone
Three minus five equals nothing here
The problem's crystal, perfectly clear
N-set boundaries, walls so tight
Can't subtract beyond zero's sight
The gap appears when we need more
Than natural numbers can explore

[Verse 2]
Every number wants a partner true
One that adds to zero, me plus you
But naturals are stubborn, won't comply
They leave us hanging, wondering why

Seven needs negative seven's embrace
But naturals won't give it space
The equation breaks, the answer flees
We're trapped inside these boundaries

[Chorus]
Natural numbers have no way back home
No additive inverse, they stand alone
Three minus five equals nothing here
The problem's crystal, perfectly clear
N-set boundaries, walls so tight
Can't subtract beyond zero's sight
The gap appears when we need more
Than natural numbers can explore

[Bridge]
This is the crack where mathematics grows
The place where limitation shows
We need to build a bigger stage
Turn to integers' wider page

[Outro]
The problem births the solution's call
Natural numbers can't have it all
When subtraction fails to compute
We know it's time for a new pursuit

45. The Construction

[Verse 1]
Natural numbers can't subtract backwards
When three minus five breaks the rules
So we build a clever workaround
With pairs of numbers as our tools
Take any two and call them (a, b)
The difference that we can't compute
We'll carry both around together
Till equivalence bears fruit

[Chorus]
Pairs that dance the same difference
When a plus d equals b plus c
(5, 3) and (7, 5) are siblings
Both representing +2
Bookkeeping tricks become foundations
When we can't subtract, we create
Integers from natural pieces
Making negatives from fate

[Verse 2]
Check reflexive: every pair equals itself, that's clear
Check symmetric: if first equals second, then reverse is here  
Check transitive: chain them together, the relation holds
Equivalence proven, now our construction unfolds
(3, 5) links with (0, 2)
Both carrying negative two
The intended difference lives
In what we cannot do

[Chorus]
Pairs that dance the same difference
When a plus d equals b plus c
(5, 3) and (7, 5) are siblings
Both representing +2
Bookkeeping tricks become foundations
When we can't subtract, we create
Integers from natural pieces
Making negatives from fate

[Bridge]
Addition works on representatives
Add the firsts, add the seconds too
Multiplication gets more twisted
(ac + bd, ad + bc) will do
Well-defined means choice of pair
Never changes the result
Mathematics builds from nothing
When invention fills the fault

[Outro]
From pairs to equivalence classes
We invented what we need
Negative numbers born from nothing
But a bookkeeping deed

46. The Problem

[Verse 1]
In the world of integers, whole and clean
Every number has its place in the machine
But when division calls, things get strange
Not every question has an answer in this range

[Pre-Chorus]
You can add and subtract all day
Multiply without delay
But division breaks the spell

[Chorus]
Z has no inverses hiding
Only plus one, minus one surviving
Three divided by five just hangs in space
No integer can fill that empty place
The problem's clear as crystal math
Some operations block the path
In Z the doors are locked tight
Division doesn't always work right

[Verse 2]
Take any number, try to flip it
Find its multiplicative opposite spirit
Seven times what gives you one?
In integers, it can't be done

[Pre-Chorus]
Fractions live in different lands
Where division understands
But integers refuse to bend

[Chorus]
Z has no inverses hiding
Only plus one, minus one surviving
Three divided by five just hangs in space
No integer can fill that empty place
The problem's clear as crystal math
Some operations block the path
In Z the doors are locked tight
Division doesn't always work right

[Bridge]
Eleven thirteenths, two ninths, five sevenths too
They're floating somewhere but not in Z's view
The multiplicative inverse stays away
Unless you're plus or minus one today

[Final Chorus]
Z has no inverses hiding
Only plus one, minus one surviving
When division calls but finds no home
Integers leave you all alone
The problem's written in the stars
Some numbers live behind closed bars
Remember this mathematical fact
Not every operation's got your back

[Outro]
In Z the gaps remain unfilled
Where division dreams are killed

47. The Construction

[Verse 1]
Take two integers, make a pair tonight
First one's numerator, second's not zero right
Call it a b, but it's not what it seems
Just a placeholder for fractional dreams
One half could be one two, or two four instead
Three six, four eight, they're equivalent threads

[Chorus]
Equivalence classes, that's the construction way
A d equals b c, that's what we say
When fractions are equal, though they look apart
The rational numbers, now we can start
Add them, multiply them, order and compare
A field that's complete, beyond integers' care

[Verse 2]
Addition's a dance with denominators crossed
A d plus b c on top, nothing's lost
B d underneath, that's your common ground
Multiplication's simpler than what you've found
A c over b d, straight across the line
Operations defined, working every time

[Chorus]
Equivalence classes, that's the construction way
A d equals b c, that's what we say
When fractions are equal, though they look apart
The rational numbers, now we can start
Add them, multiply them, order and compare
A field that's complete, beyond integers' care

[Bridge]
From pairs to quotients, we've built something new
Every fraction living in its own crew
Representative chosen, but the class remains
Ordered field properties, breaking integer chains
Division works here, except for zero's wall
The rationals answer arithmetic's call

[Outro]
So remember the brackets, equivalence bound
Where rational numbers can finally be found
From Z cross Z minus zero we climb
To Q's perfect structure, lasting through time

48. The Problem with ℚ

[Verse 1]
Between any two rationals, there's always one more
Infinitely dense, like sand upon the shore
You'd think we have it all, every number we need
But rationals are hiding a deceptive deed

[Pre-Chorus]
Look closer at the line, what do you see?
Invisible gaps where numbers should be

[Chorus]
Q has holes, holes, holes in the rational line
Dense but not complete, missing numbers divine
Square root two is nowhere, though we search and we try
Q looks whole but it's broken, that's the rational lie
Holes, holes, gaps that we cannot fill
Bounded sets with no supremum, missing numbers still

[Verse 2]
Take all rationals where q squared is less than two
They're bounded from above, but here's what's true
No smallest upper bound exists in Q's domain
The least upper bound property breaks the chain

[Pre-Chorus]
Square root two should be there, but it's not
A hole in our number line, an empty spot

[Chorus]
Q has holes, holes, holes in the rational line
Dense but not complete, missing numbers divine
Square root two is nowhere, though we search and we try
Q looks whole but it's broken, that's the rational lie
Holes, holes, gaps that we cannot fill
Bounded sets with no supremum, missing numbers still

[Bridge]
Square root three and square root five
Pi and e are not alive
In the rationals' embrace
Irrational numbers have no place
Get arbitrarily close but never reach
These missing numbers that we seek

[Chorus]
Q has holes, holes, holes in the rational line
Dense but not complete, missing numbers divine
Square root two is nowhere, though we search and we try
Q looks whole but it's broken, that's the rational lie

[Outro]
The continuum's not continuous yet
In Q there are gaps we can't forget
Dense but incomplete, that's the rational way
Holes in the line that are here to stay

49. The Problem

[Verse 1]
Picture counting numbers neatly lined in rows
Fractions, decimals dancing where the pattern flows
But somewhere in the middle there's an empty space
A phantom destination that we'll never trace

[Chorus]
Rational numbers have holes in between
Sequences reaching for places unseen
Should converge but there's nowhere to land
Missing pieces we can't understand
The gaps are real, the limits disappear
That's the problem crystal clear

[Verse 2]
Take root two approaching, getting ever near
Each decimal approximation crystal clear
One point four one four two one three five six
But rationals can't hold what the sequence picks

[Chorus]
Rational numbers have holes in between
Sequences reaching for places unseen
Should converge but there's nowhere to land
Missing pieces we can't understand
The gaps are real, the limits disappear
That's the problem crystal clear

[Bridge]
Cauchy sequences march in perfect time
Every term gets closer, step by step they climb
But when they reach the edge of rational ground
The target that they seek cannot be found

[Verse 3]
Mathematics needs completeness to survive
Every shrinking interval should stay alive
Without those missing points the system breaks
Real analysis requires what it takes

[Chorus]
Rational numbers have holes in between
Sequences reaching for places unseen
Should converge but there's nowhere to land
Missing pieces we can't understand
The gaps are real, the limits disappear
That's the problem crystal clear

[Outro]
This incompleteness drove us to explore
Beyond the rationals to something more
The holes revealed what we were missing then
Led us to the reals where limits win

50. Construction via Dedekind Cuts

[Verse 1]
Picture all the rationals scattered on a line
Draw a blade and slice them cleanly, left and right divide
Every number on the left stays smaller than the right
But the left side has no ceiling, no maximum in sight

[Chorus]
Cut the rationals in two, L and U apart
Left side climbs but never peaks, that's the beating heart
Gap becomes the number now, boundary made real
Dedekind cuts reveal the truth that empty spaces feel

[Verse 2]
Take all rationals below or equal to the three
Right side gets the three and up, partition perfectly  
But when we hunt for square root two, no rational will do
Left gets numbers squared less than, right gets greater through

[Chorus]
Cut the rationals in two, L and U apart
Left side climbs but never peaks, that's the beating heart
Gap becomes the number now, boundary made real
Dedekind cuts reveal the truth that empty spaces feel

[Bridge]
No minimum on the right
No maximum on the left
The chasm holds square root two
A treasure from the cleft

[Verse 3]
Don't search for the missing piece, don't try to fill the hole
The absence is the answer here, the void becomes the goal
Each real number is a cut, a partition cleanly made
The gap itself's the object now, foundation firmly laid

[Chorus]
Cut the rationals in two, L and U apart
Left side climbs but never peaks, that's the beating heart
Gap becomes the number now, boundary made real
Dedekind cuts reveal the truth that empty spaces feel

[Outro]
Mathematics builds on voids
Where nothing becomes all
The cut defines what isn't there
And makes the irrational

51. Alternative Construction: Cauchy Sequences

[Verse 1]
In the rational number realm where sequences dance
Terms creeping closer in a mathematical trance
For every epsilon you dare to name
There exists an N to play this convergence game
When indices exceed that special mark
The distance shrinks smaller than a spark

[Chorus]
Cauchy sequences hunt for limits that might not exist
In rationals they're restless, they twist and they persist
Epsilon delta magic, terms eventually align
But where they're truly heading crosses the rational line
Cauchy sequences, Cauchy sequences
Building reals from rational dreams

[Verse 2]
One point four, one point four one four
Decimal digits marching toward something more
Square root of two is lurking but rationals can't see
This sequence is Cauchy but has nowhere to be
The gap in rationals screams for completion
Enter equivalence classes, the perfect solution

[Chorus]
Cauchy sequences hunt for limits that might not exist
In rationals they're restless, they twist and they persist
Epsilon delta magic, terms eventually align
But where they're truly heading crosses the rational line
Cauchy sequences, Cauchy sequences
Building reals from rational dreams

[Bridge]
Two sequences are brothers if their difference fades away
A sub n minus b sub n vanishing each day
The equivalence relation groups them into sets
Each class becomes a real number, no regrets

[Verse 3]
What seemed like missing numbers were hiding all along
In Cauchy's grand construction they finally belong
The reals emerge complete where rationals had holes
Sequences find their destiny, achieving their goals

[Chorus]
Cauchy sequences hunt for limits that might not exist
In rationals they're restless, they twist and they persist
Epsilon delta magic, terms eventually align
But where they're truly heading crosses the rational line
Cauchy sequences, Cauchy sequences
Building reals from rational dreams

[Outro]
From rational approximations to infinite precision
Cauchy's brilliant insight made the perfect decision
The real line stands complete now, no gaps remain
Equivalence classes triumph, mathematics gains

52. The Key Property: Completeness

[Verse 1]
The rationals have holes inside
Where numbers ought to be
Square root of two just can't reside
In Q's geometry
But real numbers fill every gap
Complete from left to right
No missing pieces in this map
The continuum's complete and tight

[Chorus]
Completeness is the key that sets the reals apart
Every bounded set above has got a least upper part
Supremum always there, no matter where you start
Completeness is the key, the real numbers' beating heart

[Verse 2]
Take any sequence that's Cauchy
It's getting close inside
In rationals it might just flee
But reals provide a guide
Convergence guaranteed to land
Somewhere upon the line
This property's what makes reals grand
The missing piece by design

[Chorus]
Completeness is the key that sets the reals apart
Every bounded set above has got a least upper part
Supremum always there, no matter where you start
Completeness is the key, the real numbers' beating heart

[Bridge]
Intermediate Value Theorem flows
From this completeness trait
Extreme values, Bolzano shows
No theorem has to wait
The unique complete ordered field
Is what the real line gives
All analysis springs from this yield
In completeness, math lives

[Verse 3]
Nested intervals closing tight
Must intersect somewhere
Not empty in the real line's sight
Completeness puts it there
From monotone to bounded maps
Every sequence finds its place
No holes, no missing gaps
Completeness fills all space

[Chorus]
Completeness is the key that sets the reals apart
Every bounded set above has got a least upper part
Supremum always there, no matter where you start
Completeness is the key, the real numbers' beating heart

[Outro]
Not a choice but the solution true
To fill Q's empty spaces through
Complete and whole, forever new
The real line's completeness pulls us through

53. Key Facts About ℝ

[Verse 1]
Rationals scattered like stars in the night
Countable treasures, each one we can write
But reals stretch beyond what numbers can hold
Uncountable mysteries, stories untold

[Chorus]
Real line flowing, gaps all disappear
Every hole filled in, crystal and clear
Dense rationals dance with irrationals too
Between any pair, both types peek through
The continuum calls, complete and whole
Two to aleph-null, that's cardinality's goal

[Verse 2]
Pick any two points on this endless stage
A rational hides between, turn every page
But wait, there's more magic in this sacred space
Irrationals lurk in that very same place

[Chorus]
Real line flowing, gaps all disappear
Every hole filled in, crystal and clear
Dense rationals dance with irrationals too
Between any pair, both types peek through
The continuum calls, complete and whole
Two to aleph-null, that's cardinality's goal

[Bridge]
Archimedes whispered secrets long ago
No number's too large for naturals to outgrow
Give me any real that's greater than zero
Some counting number plays the conquering hero
No infinities hiding in our perfect line
Just smooth completion, mathematically divine

[Verse 3]
From power sets of naturals we build this realm
Continuum hypothesis at the helm
Every sequence that looks like it should land
Finds its target in this promised land

[Chorus]
Real line flowing, gaps all disappear
Every hole filled in, crystal and clear
Dense rationals dance with irrationals too
Between any pair, both types peek through
The continuum calls, complete and whole
Two to aleph-null, that's cardinality's goal

[Outro]
Analysis stage is set and ready now
Gapless foundation, mathematics' sacred vow

54. The Problem

[Verse 1]
In the real numbers we thought we knew it all
Every equation had an answer when we'd call
But then we met x squared plus one equals zero
Searching for a solution, couldn't find our hero
The reals are complete, they're ordered and they're fine
But some equations cross a different kind of line

[Chorus]
There's a problem in our paradise
Real numbers can't solve every dice
X squared plus one has no home here
Complex roots that disappear
The reals are missing something more
Polynomials knocking at the door
What we thought was everything
Left us with an empty ring

[Verse 2]
Take a polynomial with real coefficients true
Sometimes the roots are complex, not the ones we knew
They come in pairs conjugate, dancing out of sight
Real mathematics missing half the total light
We built our house on solid ground we thought
But found the foundation had gaps we never caught

[Chorus]
There's a problem in our paradise
Real numbers can't solve every dice
X squared plus one has no home here
Complex roots that disappear
The reals are missing something more
Polynomials knocking at the door
What we thought was everything
Left us with an empty ring

[Bridge]
Complete and ordered, that's what real numbers claim
But completeness has limits in this mathematical game
The fundamental theorem calls for something new
A bigger field where every poly finds its due

[Chorus]
There's a problem in our paradise
Real numbers can't solve every dice
X squared plus one has no home here
Complex roots that disappear
The reals are missing something more
Polynomials knocking at the door
What we thought was everything
Left us with an empty ring

[Outro]
So we learned the reals aren't all
Sometimes we need to break the wall
The problem shows us where to grow
Into the complex world we'll go

55. The Construction

[Verse 1]
Take the real plane, call it R squared
Draw your points as pairs everywhere
But we'll give them rules that are brand new
Addition stays the same, it's true
A plus C, B plus D
Just like vectors, naturally

[Chorus]
Building complex numbers from the ground
A plus B I, that's the form we've found
I squared equals negative one
When we multiply, here's how it's done
A C minus B D, then A D plus B C
That's the construction, can't you see

[Verse 2]
Multiplication gets more complex now
Let me break it down and show you how
Take two pairs, multiply them out
Follow rules without a doubt
Real times real minus imaginary squared
Imaginary parts get cross-shared

[Chorus]
Building complex numbers from the ground
A plus B I, that's the form we've found
I squared equals negative one
When we multiply, here's how it's done
A C minus B D, then A D plus B C
That's the construction, can't you see

[Bridge]
There's another way to see this thing
Polynomials in a ring
Real coefficients, X the variable
Modulo X squared plus one, it's manageable
X plays I, X squared is negative one
Same result when we are done

[Chorus]
Building complex numbers from the ground
A plus B I, that's the form we've found
I squared equals negative one
When we multiply, here's how it's done
A C minus B D, then A D plus B C
That's the construction, can't you see

[Outro]
From R squared to C complete
Mathematical structure, neat
Two approaches, same result
Complex numbers, no occult
Just arithmetic with a twist
Now complex numbers exist

56. Geometry of ℂ

[Verse 1]
Numbers dance across a plane, two dimensions wide
Horizontal holds the real, vertical the imaginary side
Plot a point where they collide, z equals a plus b times i
Every complex number lives where axes cross and multiply

[Chorus]
Distance from the origin, modulus we call
Square root of a squared plus b squared tells us all
Conjugate's a mirror flip across the real line
Multiply them together, modulus squared you'll find

[Verse 2]
Polar form reveals the truth hidden in the mist
R times cosine theta plus i sine theta twist
Euler's formula shows the way, r times e to power i theta
Magnitude and angle dance, complex numbers' secret data

[Chorus]
Distance from the origin, modulus we call
Square root of a squared plus b squared tells us all
Conjugate's a mirror flip across the real line
Multiply them together, modulus squared you'll find

[Bridge]
When complex numbers multiply in polar dress
Moduli combine while angles coalesce
Rotation meets the scaling force
Geometry shows multiplication's course

[Verse 3]
Z one times z two equals r one r two times e raised high
To i times theta one plus theta two, watch the product fly
Multiply the distances, add the angles clean
Complex multiplication's geometric scene

[Outro]
On the Argand diagram they spin and grow
Rotation scaling, now you know
Complex plane geometry, beautiful and true
Mathematical elegance shining through

57. The Fundamental Theorem of Algebra

[Verse 1]
In the realm where numbers dance with mystery's call
Every polynomial must find its home after all
Complex coefficients spinning through the night
At least one root awaits in C's infinite sight

[Chorus]
Every polynomial finds its zero
In the complex plane, our mathematical hero
N degree means N roots counting each repeat
The Fundamental Theorem makes the circle complete
No escape, no exception to this rule
C is algebraically closed, the ultimate tool

[Verse 2]
From quadratic struggles to cubic maze
We've extended numbers through confusing days
Real wasn't enough, we needed something more
Complex numbers opened up the final door

[Chorus]
Every polynomial finds its zero
In the complex plane, our mathematical hero
N degree means N roots counting each repeat
The Fundamental Theorem makes the circle complete
No escape, no exception to this rule
C is algebraically closed, the ultimate tool

[Bridge]
Multiplicity matters when we count each solution
Some roots hide behind their own resolution
But add them all up and the theorem stays true
Degree equals roots, this fact will see you through

[Verse 3]
No more crises demanding new extensions
Complex plane contains all our polynomial intentions
What began with solving simple equations ends
In C where every polynomial transcends

[Final Chorus]
Every polynomial finds its zero
In the complex plane, our mathematical hero
N degree means N roots counting each repeat
The Fundamental Theorem makes the circle complete
Algebraically closed, our number quest is done
In C every polynomial battle can be won

[Outro]
The theorem stands eternal, proven and complete
Where complex numbers and polynomials meet

58. What ℂ Sacrifices

[Verse 1]
Real numbers line up single file, each one knows its place
You can point and say "that's bigger" in their ordered space
But complex numbers break the rules, they scatter on a plane
Two dimensions, no comparison, the old ways can't remain

[Chorus]
What does complex sacrifice? The power to compare
No greater than or less than signs can function in their care
You trade away the ordering for algebraic might
Every polynomial finds roots in complex number light
Sacrifice the ranking, gain the solving power
Complex numbers choose completeness in their finest hour

[Verse 2]
Imagine trying to arrange them, i and two and three
Which direction should they face when there's no hierarchy?
Addition breaks, multiplication fails the order test
When imaginary meets real, comparison's a mess

[Chorus]
What does complex sacrifice? The power to compare
No greater than or less than signs can function in their care
You trade away the ordering for algebraic might
Every polynomial finds roots in complex number light
Sacrifice the ranking, gain the solving power
Complex numbers choose completeness in their finest hour

[Bridge]
Fundamental theorem whispers sweet promises true
Every polynomial equation has solutions waiting for you
But the price you pay is steep, no more biggest or least
Algebraic closure comes with ordering's cease

[Verse 3]
Real numbers keep their ladder, climbing up and down
Complex numbers form a kingdom where no size can be found
It's a choice that mathematics had to make one day
Perfect solving versus ranking, which would lead the way?

[Final Chorus]
What does complex sacrifice? The power to compare
No greater than or less than signs can function in their care
You trade away the ordering for algebraic might
Every polynomial finds roots in complex number light
Sacrifice the ranking, gain the solving power
Complex numbers chose completeness as their superpower

59. Euler's Formula and Identity

[Verse 1]
Numbers grew from counting stones to fractions on a page
Negatives joined the party when subtraction came of age
Real numbers filled the gaps between, but still we couldn't solve
Every polynomial equation, so the story must evolve

[Chorus]
E to the i theta equals cosine plus i sine
Where exponentials dance with circles, perfectly aligned
E to the i pi plus one equals zero, clean and bright
Five constants converge in mathematical delight

[Verse 2]
Natural numbers couldn't subtract, so integers were born
Rationals couldn't fill each gap, reals patched what was torn
But reals couldn't find the roots of x squared plus one
Complex numbers end the search, the final step is done

[Chorus]
E to the i theta equals cosine plus i sine
Where exponentials dance with circles, perfectly aligned
E to the i pi plus one equals zero, clean and bright
Five constants converge in mathematical delight

[Bridge]
Theta sweeps around the circle, radius stays at one
Cosine tracks the horizontal, sine the vertical run
Imaginary unit rotates ninety degrees each time
Euler's formula connects them in this elegant rhyme

[Verse 3]
At complex numbers, crises stop, every root exists
No more gaps or missing pieces on our number lists
From counting sheep to solving dreams, the journey finds its end
Where geometry and algebra forever blend

[Chorus]
E to the i theta equals cosine plus i sine
Where exponentials dance with circles, perfectly aligned
E to the i pi plus one equals zero, clean and bright
Five constants converge in mathematical delight

[Outro]
The universe is algebraically complete
Where Euler's identity makes infinity discrete

60. Beyond ℂ (Brief Encounter)

[Verse 1]
Started with the reals, ordered and serene
Every number placed precisely in between
But Hamilton dreamed wilder, craved rotation's dance
So we built the complex plane, gave geometry a chance

[Chorus]
Double up the dimension, sacrifice a trait
Real to complex loses order at the gate
Complex to quaternions, commuting slips away
Quaternions to octonions, associative decay
Sedenions steal alternativity
Hurwitz drew the boundary, this far and no further free

[Verse 2]
Eighteen forty-three, carved on Dublin's stone
Hamilton discovered what rotation truly owns
i, j, k, quaternions spin the world around
Graphics cards and spacecraft use what he unwound

[Chorus]
Double up the dimension, sacrifice a trait
Real to complex loses order at the gate
Complex to quaternions, commuting slips away
Quaternions to octonions, associative decay
Sedenions steal alternativity
Hurwitz drew the boundary, this far and no further free

[Bridge]
Zero divisors creep in when sixteen dimensions bloom
Structure crumbles piece by piece, mathematics meets its doom
Not because we cannot build, but because the cost runs steep
Every doubling claims a law that made the system neat

[Verse 3]
Commutativity vanished when we left the complex field
Associativity abandoned, quaternion rules must yield
Alternative behavior fades when octonions expand
Sedenions bring chaos to what once was planned

[Final Chorus]
Double up the dimension, sacrifice a trait
Construction halts not from failure, but from structural weight
Each expansion costs us something mathematicians hold dear
Till zero divisors whisper the endgame is here

[Outro]
Hurwitz theorem stands guard at dimension's precipice
Structure is the currency, and we've spent all of it

61. The Addition Principle

[Verse 1]
Sarah's choosing her weekend plans tonight
Movies at the theater, seven different shows
Or the concert hall with five bands taking flight
When choices don't collide, here's how the math goes

[Pre-Chorus]
Mutually exclusive means they cannot meet
No overlap between the paths you take

[Chorus]
Add them up, add them up
When the tasks don't intersect
M plus N, count again
Addition Principle direct
Seven films or five concerts
Twelve total ways to spend your night
Add them up, add them up
When the choices don't unite

[Verse 2]
Tom's delivery route splits at the bridge
Eastern district has four possible streets
Western zone gives him six paths on the ridge
Can't be both places, so the counting's neat

[Pre-Chorus]
Mutually exclusive means they cannot meet
No overlap between the paths you take

[Chorus]
Add them up, add them up
When the tasks don't intersect
M plus N, count again
Addition Principle direct
Four east routes or six west roads
Ten total ways to make his rounds
Add them up, add them up
When exclusion can be found

[Bridge]
No crossover, no shared ground
Separate buckets, count each mound
If task A gives you M ways
Task B gives N on different days
Simple addition solves the maze

[Verse 3]
College applications, picking your degree
Engineering program offers twelve majors
Liberal arts presents you with twenty-three
Different schools means clean calculation favors

[Final Chorus]
Add them up, add them up
When the tasks don't intersect
M plus N, count again
Addition Principle direct
Twelve plus twenty-three makes sense
Thirty-five paths for your mind
Add them up, add them up
Mutual exclusion defined

[Outro]
When choices stand apart and never blend
Addition Principle helps counting end

62. The Multiplication Principle

[Verse 1]
Pizza toppings, outfit choices, paths through every door
When decisions stack together, count them by the core
First pick pepperoni, sausage, cheese - that's three to start
Then for size pick small or large - two options for your cart

[Chorus]
Multiply the ways, multiply the ways
M times N reveals the maze
First choice times the second choice
Mathematics gives us voice
Multiply the ways, multiply the ways
Foundation of counting's endless maze

[Verse 2]
License plates and passwords follow this ancient rule
Letters first and numbers after - combinatorics' tool
Twenty-six for every letter slot you need to fill
Times ten digits for each number - watch the totals spill

[Chorus]
Multiply the ways, multiply the ways
M times N reveals the maze
First choice times the second choice
Mathematics gives us voice
Multiply the ways, multiply the ways
Foundation of counting's endless maze

[Bridge]
Every formula you'll discover
Springs from this one sacred law
Addition groups the separate cases
Multiplication shows us more

[Verse 3]
Outfits from your closet dancing, shoes and shirts and jeans
Seven tops times five bottoms equals thirty-five scenes
Every counting riddle crumbles when you see the core
Break it down to simple stages, multiply and soar

[Chorus]
Multiply the ways, multiply the ways
M times N reveals the maze
First choice times the second choice
Mathematics gives us voice
Multiply the ways, multiply the ways
All combinatorics starts this way

[Outro]
Two principles rule the kingdom
Addition and multiplication
Split the problem, count the pieces
Mathematical revelation

63. Pascal's Triangle

[Verse 1]
Start with one lonely number at the peak
One sits alone, mysterious and sleek
Drop down a row, now one becomes two
Mirror images, perfectly true
Add the neighbors from the row above
Watch the pattern that mathematicians love

[Chorus]
Pascal's pyramid, climbing every tier
Add the two above, the answer will appear
One plus one makes two, two plus one makes three
Combinations hiding in this mystery
Row five sums to thirty-two, that's two to the fifth degree
Pascal's triangle holds the binomial key

[Verse 2]
Count the ways to choose from a set
Coefficients that you'll never forget
Row four gives you one, four, six, four, one
Expanding polynomials, the work is done
Each diagonal tells a secret tale
Fibonacci emerges without fail

[Chorus]
Pascal's pyramid, climbing every tier
Add the two above, the answer will appear
One plus one makes two, two plus one makes three
Combinations hiding in this mystery
Row five sums to thirty-two, that's two to the fifth degree
Pascal's triangle holds the binomial key

[Bridge]
Color every even number white, odds in black
Sierpinski's fractal gazes right back
Alternating sums cancel to zero's dance
Except row zero gives one a chance
Ten choose three or three from ten
Pascal shows they're equal again

[Verse 3]
Probability problems find their solution here
Lottery tickets make the pattern clear
How many paths through a lattice grid
Pascal's entries keep the answer unhid
From Chinese roots to European fame
Different cultures, but the math's the same

[Outro]
Every entry knows its place
Two guardians from the upper space
Infinite rows stretch toward the sky
Pascal's legacy will never die

64. The Multinomial Theorem

[Verse 1]
When you've got more than just two terms to raise
To a power that's n, don't be amazed
X one plus x two plus terms galore
The multinomial opens up the door

[Chorus]
Multinomial, expand it all
N factorial leads the call
Divide by k factorials below
Where k one plus k two makes n, you know
Count the ways to split and share
Objects grouped with loving care

[Verse 2]
Start with n objects in your hand
Partition them across the land
K one goes here, k two goes there
Each group gets its rightful share

[Chorus]
Multinomial, expand it all
N factorial leads the call
Divide by k factorials below
Where k one plus k two makes n, you know
Count the ways to split and share
Objects grouped with loving care

[Bridge]
Every term needs its own power
X to the k in its finest hour
Sum all combinations that add up right
K values totaling n in sight

[Verse 3]
Coefficients tell the tale
How many ways will never fail
To arrange your objects neat and clean
In groups of every size you've seen

[Chorus]
Multinomial, expand it all
N factorial leads the call
Divide by k factorials below
Where k one plus k two makes n, you know
Count the ways to split and share
Objects grouped with loving care

[Outro]
From binomial we've grown so wide
With m terms standing side by side
The theorem shows us how to count
Every way that will amount

65. Statement

[Verse 1]
Picture boxes lined up in a row
You've got one less than the things you need to stow
Eleven pigeons and just ten little holes
Where will they go when the music takes its toll

[Chorus]
Pigeonhole principle, it's mathematical gold
N plus one objects, N containers to hold
At least one box will have two or more inside
There's nowhere for that extra one to hide
Pigeonhole principle, the numbers don't lie
When you've got more things than spaces, some will multiply

[Verse 2]
Thirteen students sitting down for lunch
Only twelve tables in the cafeteria bunch
No matter how you try to spread them out
At least one table gets a doubled route

[Chorus]
Pigeonhole principle, it's mathematical gold
N plus one objects, N containers to hold
At least one box will have two or more inside
There's nowhere for that extra one to hide
Pigeonhole principle, the numbers don't lie
When you've got more things than spaces, some will multiply

[Bridge]
Take it further now, let's expand the rule
K times N plus one, here's the advanced tool
Divide by N containers, what do you see
K plus one minimum, guaranteed to be

[Verse 3]
Twenty-one marbles in just five glass jars
The math tells us exactly where we are
At least one jar will hold five marbles tight
The pigeonhole shows us what's right

[Final Chorus]
Pigeonhole principle, from simple to complex
N plus one objects, now you know what comes next
At least one container will exceed the rest
Mathematics proves it, put it to the test
Pigeonhole principle, the foundation is strong
When objects outnumber spaces, sing along

[Outro]
More objects than containers
Someone's getting extras tonight

66. The Higher Meaning

[Verse 1]
Twenty students, fifteen desks to fill
Someone's sharing, that's the natural drill
When abundance meets a smaller space
Overlap becomes the commonplace
Pigeonhole principle sounds so neat
But choosing wisely makes the theory complete

[Chorus]
More pigeons than the holes can hold
Collision's guaranteed, the math's been told
Pick your objects, pick your bins with care
The magic happens when you know what pairs
Abundance forces, overlap's the game
Different choices make the power's name

[Verse 2]
Seven colors painting rainbow's arc
Fifty pixels make some shades remark
Two must share the spectrum's limited range
Birthday paradox feels rather strange
Twenty-three people in a crowded room
Two share dates, dispelling birthday gloom

[Chorus]
More pigeons than the holes can hold
Collision's guaranteed, the math's been told
Pick your objects, pick your bins with care
The magic happens when you know what pairs
Abundance forces, overlap's the game
Different choices make the power's name

[Bridge]
Trivially obvious, the concept seems
But applications burst beyond our dreams
Hash tables buckets, network packet streams
Computer science built on overlap schemes
The art lies not in proving what must be
But crafting categories strategically

[Verse 3]
Infinite numbers, finite memory blocks
Some addresses host more than one box
Passwords hashing to the same location
Proves that smart design needs calculation
Choose your pigeons, choose your holes with thought
Simple principle, complex battles fought

[Outro]
When abundance meets constraint's embrace
Collision's certain in that bounded space
The power's hidden in the choice you make
What to count and how the groups you break

67. Applications

[Verse 1]
Five dots scattered in a perfect square
You claim they'll spread without a care
But slice that space in quarters neat
Watch the math make your claim retreat
Thirteen friends around the table
Birthday months? The odds aren't stable
Twelve slots filled by thirteen souls
Something's gotta break the molds

[Chorus]
Too many pigeons, not enough holes
The numbers always tell their roles
When objects crowd the sorted space
Collision's written on their face
Count the items, count the bins
Mathematics always wins
Pigeonhole will find the match
What you scatter, logic'll catch

[Verse 2]
Take a sequence, long and strange
Real numbers in their random range
If n-squared plus one's your count
A pattern's bound to surmount
Erdős-Szekeres knew the trick
When sequences get thick
Either climbing up or sliding down
A monotone path will be found

[Chorus]
Too many pigeons, not enough holes
The numbers always tell their roles
When objects crowd the sorted space
Collision's written on their face
Count the items, count the bins
Mathematics always wins
Pigeonhole will find the match
What you scatter, logic'll catch

[Bridge]
Divide and conquer, split the domain
Watch repetition stake its claim
Maximum distance, root-two-halves
When geometry does the math
From birthdays to sequences long
The principle stays strong

[Final Chorus]
Too many pigeons, not enough holes
Overlapping's in their souls
When the count exceeds the space
Duplicates will show their face
Simple counting, profound might
Pigeonhole cuts through the night
What seems scattered, what seems free
Hides its inevitability

[Outro]
Thirteen people, twelve months time
The collision's paradigm
Five points dancing in their square
Two will meet, it's always there

68. Statement

[Verse 1]
When counting scattered puzzle pieces across the floor
Some land in boxes, some spill through the door
If sets collide like planets in space
We can't just add them face to face

The overlap creates a sneaky trap
Elements counted twice upon our map
So mathematics gives us one neat trick
The inclusion-exclusion arithmetic

[Chorus]
Add them up, subtract what's shared
Triple meetings must be repaired
Back and forth the signs will dance
Plus and minus in perfect balance
Union size through alternating eyes
Every element counted once, no lies

[Verse 2]
For two circles meeting on a page
Simple formula takes center stage
A plus B minus where they cross
Prevents the double-counting loss

But three sets weave a complex web
Individual counts where we must tread
Minus pairs that intersect in two
Plus the center where all three break through

[Chorus]
Add them up, subtract what's shared
Triple meetings must be repaired
Back and forth the signs will dance
Plus and minus in perfect balance
Union size through alternating eyes
Every element counted once, no lies

[Bridge]
First we overcount with reckless glee
Then subtract to fix what we can see
But now we've gone too far the other way
Add back what we stole in our display

The pattern grows with each new set we bring
Alternating signs like bells that ring
N plus one determines if we add or take
A mathematical rhythm we cannot break

[Chorus]
Add them up, subtract what's shared
Triple meetings must be repaired
Back and forth the signs will dance
Plus and minus in perfect balance
Union size through alternating eyes
Every element counted once, no lies

[Outro]
When sets unite in endless ways
The principle forever stays
Through zigzag signs we find our truth
Inclusion-exclusion, mathematical proof

69. Application: Derangements

[Verse 1]
Picture letters in envelopes, each one has a home
But chaos struck the mailroom, now none can find their own
Every single message lands somewhere it's not meant
This scrambled situation has a name that's quite elegant

[Chorus]
Derangement, derangement, nothing stays in place
Every element wanders to a different space
N factorial times the sum, alternating signs
One over K factorial, that's how we define
Approximately N factorial over E
Point three-six-seven-nine probability

[Verse 2]
Inclusion-exclusion helps us count what's gone astray
Let A-sub-i be permutations where i wants to stay
Union of these sets gives us the fixed-point crew
Subtract from total permutations, derangements peek through

[Chorus]
Derangement, derangement, nothing stays in place
Every element wanders to a different space
N factorial times the sum, alternating signs
One over K factorial, that's how we define
Approximately N factorial over E
Point three-six-seven-nine probability

[Bridge]
Remarkable convergence, even when N is small
One over E emerges, the most beautiful of all
Hat-check problem classic, guests receive wrong coats
Mathematical poetry in these scattered random notes

[Outro]
From zero up to N, the alternating dance
Minus one to the K power gives derangements their chance
No fixed points allowed here, complete rearrangement
This is the elegant chaos we call a derangement

70. Fibonacci Sequence

[Verse 1]
Zero starts the ancient dance, one follows close behind
Each number births the next through simple math combined
Take the two before you, add them up with care
Watch the spiral pattern bloom from nowhere into there

[Chorus]
Zero one one two three five eight thirteen
Twenty-one thirty-four the pattern's crystal clean
Each step forward builds upon the last two that you've seen
Fibonacci's magic numbers weaving through the scene

[Verse 2]
Hidden in this counting game lives something quite surreal
The golden ratio emerges from integers so real
Phi and psi dance together in Binet's mystic equation
Irrational roots create our whole number formation

[Chorus]
Zero one one two three five eight thirteen
Twenty-one thirty-four the pattern's crystal clean
Each step forward builds upon the last two that you've seen
Fibonacci's magic numbers weaving through the scene

[Bridge]
When you divide consecutive terms you'll find
The ratio approaches phi's eternal bind
One point six one eight keeps appearing in the math
Nature's blueprint hiding in this numeric path

[Verse 3]
From sunflower spirals to the chambers of a shell
These numbers tell the story that geometry knows well
F sub n equals F sub n minus one plus two before
Simple rules creating beauty mathematics can't ignore

[Chorus]
Zero one one two three five eight thirteen
Twenty-one thirty-four the pattern's crystal clean
Each step forward builds upon the last two that you've seen
Fibonacci's magic numbers weaving through the scene

[Outro]
Fifty-five then eighty-nine the sequence never ends
Where integers and irrationals become the closest friends

71. Solving Linear Recurrences

[Verse 1]
When sequences dance with yesterday's values
Two steps back they always look
A sub n equals c one times the previous
Plus c two times the hook before that
Linear recurrence patterns emerge
From Fibonacci's ancient surge

[Chorus]
Write the characteristic equation tonight
R squared minus c one R minus c two equals zero
Find the roots and watch them take flight
Distinct or repeated, they're mathematical heroes
A times r one to the n plus B times r two to the n
When roots are different, this is how we begin

[Verse 2]
Quadratic formula breaks the mystery wide
Discriminant tells us what we'll find inside
Two different roots mean exponential blend
Each term grows at its own ascending trend
But when the roots collapse into one
A different formula has just begun

[Chorus]
Write the characteristic equation tonight
R squared minus c one R minus c two equals zero
Find the roots and watch them take flight
Distinct or repeated, they're mathematical heroes
A plus B times n, all times R to the n
When roots repeat, this pattern saves the day again

[Bridge]
Initial conditions seal the deal
A sub zero and A sub one reveal
The constants A and B we need
Substitute and solve indeed
Just like differential equations flow
Same technique, different tempo

[Verse 3]
From recursion springs algebraic truth
Characteristic bridge connects the proof
Second order patterns everywhere
Linear combinations in the air
Boundary values lock in place
Mathematical elegance and grace

[Chorus]
Write the characteristic equation tonight
R squared minus c one R minus c two equals zero
Find the roots and watch them take flight
Distinct or repeated, they're mathematical heroes
Solve for A and B with conditions you know
Now the sequence secrets finally show

[Outro]
Recurrence relations bow to algebra's might
Characteristic equations burn so bright
From discrete to continuous, the methods align
Mathematical bridges by elegant design

72. Core Definitions

[Verse 1]
When "a divides b" appears in sight
There's a secret hiding in plain view
An integer k exists somewhere
Making b equal a times k, it's true
Zero bows to every number's reign
Since zero equals anything times none

[Chorus]
Divisibility's the key
When one fits perfectly
Into another's frame
No remainders in this game
A divides B means there's a way
To build B from A today
Integer multiplication's dance
Gives every factor its chance

[Verse 2]
The number one's a universal friend
Divides each number without exception
Transitivity creates a chain
If a divides b, and b splits c
Then a divides c automatically
Logic flows like dominos cascading down

[Chorus]
Divisibility's the key
When one fits perfectly
Into another's frame
No remainders in this game
A divides B means there's a way
To build B from A today
Integer multiplication's dance
Gives every factor its chance

[Bridge]
Linear combinations tell the tale
If a divides both b and c
Then a divides bx plus cy
For any integers x and y
The pattern spreads through algebra's web
Creating order from the thread

[Verse 3]
Properties stack like building blocks
Zero yields to every divisor's call
One claims ownership of all
Transitivity links the whole parade
While linear combinations never fade
Mathematics weaves its elegant spell

[Outro]
When you see those straight lines flanking letters
Remember k exists somewhere in between
Making perfect integer connections
In divisibility's crystalline machine

73. The Division Algorithm

[Verse 1]
When numbers collide in division's domain
Two integers dancing, let's break down their game
Take any whole number, call it "a" for short
And positive "b" that will serve as our port

[Chorus]
A equals b times q plus r, that's the magic spell
Quotient times divisor, remainder as well
Zero less than or equal, r stays below b
Division algorithm, sets integers free
A equals b times q plus r, memorize this line
Quotient and remainder, perfectly defined

[Verse 2]
Picture seventeen cookies, divided by five
How many full groups? Three complete and alive
Fifteen cookies sorted, two cookies remain
The leftover pieces that couldn't form chains

[Chorus]
A equals b times q plus r, that's the magic spell
Quotient times divisor, remainder as well
Zero less than or equal, r stays below b
Division algorithm, sets integers free
A equals b times q plus r, memorize this line
Quotient and remainder, perfectly defined

[Bridge]
Unique and certain, no guessing allowed
One quotient, one remainder, standing proud
The foundation stone for all math ahead
Without this truth, number theory's dead

[Verse 3]
Negative numbers? The rule still applies
Minus thirteen split by four, watch how it flies
Quotient negative four, remainder is three
The pattern persists through infinity

[Chorus]
A equals b times q plus r, that's the magic spell
Quotient times divisor, remainder as well
Zero less than or equal, r stays below b
Division algorithm, sets integers free
A equals b times q plus r, memorize this line
Quotient and remainder, perfectly defined

[Outro]
Every division tells this ancient tale
Quotient and remainder never fail
A equals b times q plus r
The algorithm that takes you far

74. GCD and the Euclidean Algorithm

[Verse 1]
Two numbers standing side by side
Seeking what they both divide
The greatest common thread they share
Euclid's method strips them bare

Take the larger, split by small
Watch the remainder as it falls
What's left behind becomes our guide
To the treasure tucked inside

[Chorus]
Divide and conquer, step by step
Until the remainder's zero's kept
The last divisor holds the key
GCD for you and me
Ancient wisdom, still so true
Euclidean magic pulling through

[Verse 2]
Two-fifty-two and one-oh-five
See the algorithm come alive
One-oh-five goes twice, leaves forty-two
Now the dance begins anew

Forty-two divides one-oh-five
Two times through with twenty-one alive
Twenty-one splits forty-two clean
Greatest common: twenty-one's the scene

[Chorus]
Divide and conquer, step by step
Until the remainder's zero's kept
The last divisor holds the key
GCD for you and me
Ancient wisdom, still so true
Euclidean magic pulling through

[Bridge]
Bézout whispers something more
Integers that unlock doors
X and Y exist to show
A times X plus B times Y's flow
Equals D, the common part
Extended algorithm's art

[Verse 3]
Three hundred years before our Lord
Euclid forged this mental sword
Logarithmic steps suffice
Efficiency beyond all price

From the larger to the small
'Til division conquers all
What remains when nothing's left
Is the prize of Euclid's theft

[Chorus]
Divide and conquer, step by step
Until the remainder's zero's kept
The last divisor holds the key
GCD for you and me
Ancient wisdom, still so true
Euclidean magic pulling through

[Outro]
Distillation's final call
Common essence conquers all

75. LCM

[Verse 1]
Two numbers dancing, need to find their stage
Where both can meet without a cage
The smallest multiple they both can share
LCM's the treasure waiting there

[Chorus]
Take the product, divide by GCD
That's the formula, LCM you see
Greatest common times the least multiple
Always equals product, mathematical
GCD times LCM equals A times B
This relationship will set you free

[Verse 2]
Twelve and eighteen need a common ground
List their multiples, see what can be found
Twelve gives twenty-four, thirty-six and more
Eighteen matches at thirty-six's door

[Chorus]
Take the product, divide by GCD
That's the formula, LCM you see
Greatest common times the least multiple
Always equals product, mathematical
GCD times LCM equals A times B
This relationship will set you free

[Bridge]
When the numbers are coprime and clean
GCD is one, if you know what I mean
Product stays the same, no division needed
LCM equals the product, mission completed

[Verse 3]
Absolute value keeps it positive
Even when negatives want to live
The formula works for any pair you choose
This mathematical bond you'll never lose

[Final Chorus]
Take the product, divide by GCD
That's the formula, LCM you see
Greatest common times the least multiple
Always equals product, mathematical
GCD times LCM equals A times B
This pattern holds for eternity

[Outro]
Two factors linked in perfect harmony
GCD and LCM, mathematical symphony

76. Definition and Fundamental Theorem

[Verse 1]
Numbers have their secrets hiding in plain sight
Two and three and five stand alone in mathematical light
They're divisible by one and themselves, nothing more
These are primes, the building blocks at math's core
Seven, eleven, thirteen march in endless line
Each one atomic, pure, by definition's design

[Chorus]
Every number breaks apart like molecules to atoms
Primes are the foundation that mathematics builds its patterns
Unique factorization, no exceptions to the rule
Two to the third times five squared, this theorem is our tool
P-one to A-one, P-two to A-two
Every integer greater than one, this formula rings true

[Verse 2]
Start with strong induction, prove existence first
If the number's prime already, then our thirst is quenched
If composite, split it into factors A and B
Both are smaller, both have prime factorizations, you see
Multiply those factorizations, now we've shown
Every number has a breakdown it can call its own

[Chorus]
Every number breaks apart like molecules to atoms
Primes are the foundation that mathematics builds its patterns
Unique factorization, no exceptions to the rule
Two to the third times five squared, this theorem is our tool
P-one to A-one, P-two to A-two
Every integer greater than one, this formula rings true

[Bridge]
But uniqueness needs more proof than just existence
Euclid's lemma cuts through all resistance
If prime P divides A times B, then it's clear
P divides A or P divides B, that's what we revere
Through Bézout's magic, this truth we can see
The factorization's unique as unique can be

[Verse 3]
In some number systems, this breaks down completely
Z-bracket-root-negative-five fails so neatly
Six equals two times three, but also other ways
Algebraic number theory studies where uniqueness frays
But integers are special, their atomic structure's sound
The most fundamental theorem that in math can be found

[Outro]
Primes are atoms, composites are molecules
This theorem forms the base of all our mathematical jewels

77. Infinitude of Primes

[Verse 1]
Euclid had a clever scheme, assumed the list complete
All primes from two to some large number, nice and neat
But multiply them all and add just one to the mix
This new number breaks the rules with mathematical tricks

[Chorus]
Primes go on forever, stretching past the stars
No final destination, no matter how far
Take the whole collection, multiply plus one
Either prime itself or factors we've undone
Infinitude of primes, the theorem rings true
Mathematics proves what ancient Greeks once knew

[Verse 2]
Every prime divides our product, leaves remainder zero
But our special number N makes each remainder hero
One divided by each prime, when remainders stay
Means no listed prime can factor N away

[Chorus]
Primes go on forever, stretching past the stars
No final destination, no matter how far
Take the whole collection, multiply plus one
Either prime itself or factors we've undone
Infinitude of primes, the theorem rings true
Mathematics proves what ancient Greeks once knew

[Bridge]
Euler found another path through analysis refined
Sum of prime reciprocals blows the finite mind
One over p diverges, grows beyond all bounds
Not just infinite in count, but dense throughout the rounds

[Verse 3]
If the primes were truly finite, sums would have a cap
But the harmonic series shows there's still a gap
Reciprocals keep climbing, never reach a ceiling
Proving prime abundance with analytic feeling

[Outro]
From geometry to calculus, two proofs align
Primes extend eternally in numerical design
No last prime waiting somewhere at the cosmic edge
Mathematics guarantees this ironclad pledge

78. Distribution of Primes

[Verse 1]
Numbers scatter like stars across the endless line
Two, three, five, seven - building blocks divine
But as we climb the ladder, something strange occurs
The gaps between them widen, the pattern blurs
Pi of x counts the treasures hiding in the void
Prime counting function, never to be destroyed

[Chorus]
Pi of x is roughly x divided by natural log of x
As numbers grow enormous, this approximation rocks
One over ln of x tells the probability tale
That random integers near x as primes will never fail
Thinning logarithmically but never fade away
The Prime Number Theorem shows us how they play

[Verse 2]
Gauss gazed at tables, noticed something profound
The density decreases but primes can still be found
Near a thousand, one in seven might be prime
Near a million, one in fourteen marks the time
The logarithm governs this celestial dance
Mathematics gives us more than just a glance

[Chorus]
Pi of x is roughly x divided by natural log of x
As numbers grow enormous, this approximation rocks
One over ln of x tells the probability tale
That random integers near x as primes will never fail
Thinning logarithmically but never fade away
The Prime Number Theorem shows us how they play

[Bridge]
Infinity stretches before us, primes will never cease
Though separated further, they maintain their peace
The natural log increases, but oh so very slow
Ensuring prime abundance wherever we may go

[Chorus]
Pi of x is roughly x divided by natural log of x
As numbers grow enormous, this approximation rocks
One over ln of x tells the probability tale
That random integers near x as primes will never fail
Thinning logarithmically but never fade away
The Prime Number Theorem shows us how they play

[Outro]
From Euclid's ancient wisdom to modern computation
Primes distribute forever across the vast equation

79. Definition

[Verse 1]
When two numbers share a secret code
They're congruent in modular mode
Take any two numbers, call them a and b
If n divides their difference, then they agree

[Chorus]
Same remainder, same remainder
When you divide by n
Congruent means equivalent
In this mathematical den
A congruent b mod n
Three ways to understand
Same remainder when divided
Or n splits their difference grand

[Verse 2]
Let's say we have seventeen and five
With modulus twelve, are they alive
As congruent friends? Let's check it out
Seventeen minus five is twelve, no doubt

[Chorus]
Same remainder, same remainder
When you divide by n
Congruent means equivalent
In this mathematical den
A congruent b mod n
Three ways to understand
Same remainder when divided
Or n splits their difference grand

[Bridge]
Three definitions, all the same
Different windows, same math game
N divides a minus b cleanly
Or remainders match up neatly
Or the difference splits evenly
All three paths lead to the same key

[Verse 3]
Twenty-three and eight mod five
Let's see if congruence comes alive
Twenty-three divided gives remainder three
Eight divided gives remainder three, you see

[Final Chorus]
Same remainder, same remainder
When you divide by n
Congruent means equivalent
In this mathematical den
A congruent b mod n
Now you understand
Same remainder when divided
Makes them congruent, isn't that grand

[Outro]
Modular arithmetic's beautiful way
Same remainders mean they're congruent today

80. Arithmetic Properties

[Verse 1]
When numbers dance in modular space
There's a special bond they share
If a equals b in mod n's embrace
Then patterns show up everywhere
It's reflexive like a mirror's face
Symmetric when we flip and swap
Transitive chains that interlace
These properties will never stop

[Chorus]
Add them up, they stay the same
Multiply, it's still the game
Power up to any height
Congruence keeps the balance right
But division's not so clean
Greatest common divisor's the key
One is what we need to see
For the rule to guarantee

[Verse 2]
If a congruent b and c congruent d
Both dancing to mod n's beat
Then a plus c and b plus d
Will make the pattern complete
Times tables work the same way too
When congruence leads the dance
Every operation follows through
Given just the right circumstance

[Chorus]
Add them up, they stay the same
Multiply, it's still the game
Power up to any height
Congruence keeps the balance right
But division's not so clean
Greatest common divisor's the key
One is what we need to see
For the rule to guarantee

[Bridge]
Watch out for the division trap
When ac equals bc mod n
Don't assume that a equals b
Check the gcd my friend
If c and n share common ground
The rule might break apart
But when their gcd equals one
Division works from the start

[Chorus]
Add them up, they stay the same
Multiply, it's still the game
Power up to any height
Congruence keeps the balance right
But division's not so clean
Greatest common divisor's the key
One is what we need to see
For the rule to guarantee

[Outro]
Equivalence relation strong
Arithmetic properties long
Modular math will lead the way
In foundations every day

81. The Ring ℤ/nℤ

[Verse 1]
Gather numbers zero through n minus one
Wrap them in brackets, the journey's begun
Residue classes dancing in a ring
Z mod n Z, let the mathematics sing
Addition and multiplication, both play by the rule
Modular arithmetic becomes our tool

[Chorus]
When n is prime, it's a field so bright
Every non-zero element has inverse in sight
Extended Euclidean finds the key
Z mod n Z unlocks mystery
Ring or field, the structure's clear
Prime makes inverses appear

[Verse 2]
Take twelve o'clock, we're counting mod twelve
Zero through eleven on arithmetic's shelf
Add seven plus eight, get fifteen but wait
Subtract twelve, we land on three, that's our fate
Multiplication follows the same divine law
Reduce by n, that's what we saw

[Chorus]
When n is prime, it's a field so bright
Every non-zero element has inverse in sight
Extended Euclidean finds the key
Z mod n Z unlocks mystery
Ring or field, the structure's clear
Prime makes inverses appear

[Bridge]
Composite numbers make just a ring
Divisors of zero, no inverse they bring
But when n equals seven or thirteen or five
Every element's inverse comes alive
The structure transforms from ring to field
Prime numbers make the magic real

[Verse 3]
Equivalence classes, congruent and true
If a minus b divides by n through
Brackets hold families of infinite size
But finite representatives, that's the prize
Closure and identity, the axioms hold
Ring theory's beauty starts to unfold

[Chorus]
When n is prime, it's a field so bright
Every non-zero element has inverse in sight
Extended Euclidean finds the key
Z mod n Z unlocks mystery
Ring or field, the structure's clear
Prime makes inverses appear

[Outro]
From integers infinite to finite domain
Modular magic breaks the chain
Z mod n Z, foundations strong
Abstract algebra's eternal song

82. Linear Congruences

[Verse 1]
When you see ax congruent b mod n
Don't just guess, there's rules to comprehend
Check the greatest common divisor first
Does it split b clean, or will hopes be cursed?
GCD of a and n must divide b true
Or no solution waits there for you

[Chorus]
Linear congruences have their key
GCD divides b, then solutions you'll see
Count them carefully, d in total appear
Modulo n, the pattern's crystal clear
When GCD is one, there's just one way
Extended Euclidean saves the day

[Verse 2]
If d equals gcd and b won't divide
Then pack your bags, no answer can hide
But when it splits evenly, magic unfolds
Exactly d solutions the theorem holds
Modulo n they scatter and spread
Following patterns mathematicians have read

[Chorus]
Linear congruences have their key
GCD divides b, then solutions you'll see
Count them carefully, d in total appear
Modulo n, the pattern's crystal clear
When GCD is one, there's just one way
Extended Euclidean saves the day

[Bridge]
Special case when gcd is one
Unique solution, nowhere to run
Find a inverse, the algorithm's friend
Multiply by b, watch problems end
X congruent a inverse times b
Modulo n sets the answer free

[Verse 3]
Extended Euclidean works its charm
Finds the inverse, keeps you from harm
Backward substitution, coefficients align
Until a inverse emerges, perfectly fine
Multiply by b and take modulo
Your unique solution's ready to show

[Chorus]
Linear congruences have their key
GCD divides b, then solutions you'll see
Count them carefully, d in total appear
Modulo n, the pattern's crystal clear
When GCD is one, there's just one way
Extended Euclidean saves the day

[Outro]
Remember the rule when equations call
GCD must divide or there's none at all
Count your solutions, they number d
Linear congruences set logic free

83. The Chinese Remainder Theorem

[Verse 1]
When numbers clash in modular space
Two equations, different base
X equals three mod seven they say
X equals five mod four today
Seems impossible, but here's the key
When greatest common factors free

[Chorus]
Chinese whispers through the math
Coprime moduli clear the path
Break apart what seems as one
Independent problems, easily done
Multiply the moduli together
Unique solution, now and ever

[Verse 2]
Ancient Chinese knew this trick
Counting soldiers, arithmetic
Rows of three leave two behind
Rows of five leave four you'll find
Sun Tzu's riddle shows the way
Structure hiding in array

[Chorus]
Chinese whispers through the math
Coprime moduli clear the path
Break apart what seems as one
Independent problems, easily done
Multiply the moduli together
Unique solution, now and ever

[Bridge]
Integers mod twenty-eight
Split to four and seven's fate
Ring isomorphism reveals
How the algebra unseals
Product space of smaller rings
This is where the theorem sings

[Verse 3]
Generalize to any count
Pairwise coprime, paramount
Each remainder finds its place
In the reconstructed space
Decomposition shows the truth
Algebraic fountain of youth

[Chorus]
Chinese whispers through the math
Coprime moduli clear the path
Break apart what seems as one
Independent problems, easily done
Multiply the moduli together
Unique solution, now and ever

[Outro]
When the factors share no thread
Complex systems lose their dread
Chinese Remainder shows the art
How to tear equations apart

84. Euler's Totient Function

[Verse 1]
Count the numbers one to n
That share no factors with our friend
If greatest common divisor equals one
Then they're coprime, the counting's begun
Phi of n reveals the secret crew
Of integers that make it through

[Chorus]
Euler's totient, counting the coprime
Phi of n, it works every time
When primes divide, subtract their share
Multiply fractions, handle with care
One minus one over p
That's the pattern, can't you see

[Verse 2]
For any prime p standing alone
Phi equals p minus one, full grown
Since primes have no divisors small
Except for one, they dodge them all
But prime powers need a different plan
Subtract the multiples, understand

[Chorus]
Euler's totient, counting the coprime
Phi of n, it works every time
When primes divide, subtract their share
Multiply fractions, handle with care
One minus one over p
That's the pattern, can't you see

[Bridge]
When numbers share no common ground
Multiplication can be found
Phi of m times phi of n
Equals phi of their product then
Split the factors, solve apart
Piece together, mathematical art

[Verse 3]
Take twelve and watch the magic flow
Two and three are primes below
Twelve times half times two-thirds dance
Equals four, not left to chance
One, five, seven, eleven stand
Coprime soldiers, hand in hand

[Chorus]
Euler's totient, counting the coprime
Phi of n, it works every time
When primes divide, subtract their share
Multiply fractions, handle with care
One minus one over p
That's the pattern, can't you see

[Outro]
Product over primes that split
Gives the answer, perfect fit
Euler's function shows the way
Coprime counting, night and day

85. Fermat's Little Theorem

[Verse 1]
Pierre de Fermat had a hunch one day
Prime numbers dance in a special way
Take any number, call it little a
If it shares no factors with prime p

When you raise a to the power of p minus one
Divide by p and watch what becomes
The remainder's always gonna be one
This pattern holds for every prime sum

[Chorus]
Little theorem, big revelation
A to the p-1 mod p equals one
When the gcd is one, no hesitation
Fermat's magic formula's never done
Prime p calling, numbers falling
Into perfect modular line
A to the p-1, that's the calling
Congruent to one every time

[Verse 2]
Here's the proof that makes it crystal clear
Take multiples: a, two-a, three-a here
Up to p-1 times a, all appear
As permutations when mod p draws near

Multiply them all together now
The factorial times a to the power
Equals factorial, mathematics shows
Cancel both sides, watch the theorem flower

[Chorus]
Little theorem, big revelation
A to the p-1 mod p equals one
When the gcd is one, no hesitation
Fermat's magic formula's never done
Prime p calling, numbers falling
Into perfect modular line
A to the p-1, that's the calling
Congruent to one every time

[Bridge]
There's another way to state this truth
A to the p congruent to a
For any number, here's the proof
Modular arithmetic shows the way

[Outro]
Prime numbers hold this secret tight
Fermat glimpsed this perfect sight
Modular math reveals the pattern
Little theorem, foundations matter

86. Euler's Theorem (Generalization)

[Verse 1]
When numbers dance in modular space
And greatest common divisors trace
A path to one, the magic starts
Euler's theorem plays its part
If gcd of a and n equals one
Then phi of n becomes the gun
That shoots the power to the top
Where cycles end and patterns stop

[Chorus]
A to the phi of n congruent to one
Modulo n, the cycle's done
Like clocks that tick around the face
Mathematics finds its resting place
When coprime pairs begin to play
Euler's law lights up the way

[Verse 2]
Fermat whispered secrets small
When primes would build their counting wall
But Euler saw a grander scheme
Beyond the prime number dream
Take any base, take any mod
If coprime, then applaud
The power climbs then tumbles down
To one, the mathematical crown

[Chorus]
A to the phi of n congruent to one
Modulo n, the cycle's done
Like clocks that tick around the face
Mathematics finds its resting place
When coprime pairs begin to play
Euler's law lights up the way

[Bridge]
RSA encryption builds its throne
On Euler's work, carved in stone
Choose primes p and q with care
Multiply to get n there
Phi of n equals p minus one
Times q minus one, we're having fun
Pick e coprime to phi's domain
Find d inverse, complete the chain

[Verse 3]
Message m gets raised to e
Ciphertext c is what we see
To decrypt, we use key d
Original message springs free
Why does this mathematical dance
Work with such elegant stance?
Because cd equals one plus k times phi
And Euler's theorem tells us why

[Chorus]
A to the phi of n congruent to one
Modulo n, the cycle's done
Like clocks that tick around the face
Mathematics finds its resting place
When coprime pairs begin to play
Euler's law lights up the way

[Outro]
From Fermat's glimpse to Euler's sight
Cryptography burns bright
In every click and every send
On Euler's theorem we depend

87. Definition

[Verse 1]
When numbers dance in modular space
And primes define the playing field
Some integers find their perfect match
A square root hiding what they yield
Take twenty-five in mod thirteen
Does some x squared equal this scene?

[Chorus]
Quadratic residues, they're squares in disguise
Hidden beneath modular skies
When x squared congruent a mod p appears
That's when the quadratic residue clears
Euler's criterion shows the way
Raise to power (p minus one) half today

[Verse 2]
If the result is positive one
Then a quadratic residue you've won
But if negative one comes to light
No square root exists in sight
The exponent holds the secret key
(p minus one) divided by two, you see

[Chorus]
Quadratic residues, they're squares in disguise
Hidden beneath modular skies
When x squared congruent a mod p appears
That's when the quadratic residue clears
Euler's criterion shows the way
Raise to power (p minus one) half today

[Bridge]
Prime p must be odd and strange
For this theorem to arrange
Legendre symbols tell the tale
Plus one or minus one, without fail

[Verse 3]
In crypto systems they appear
Making some computations clear
While others become quite hard to solve
This asymmetry helps problems revolve
From ancient Greeks to modern codes
Quadratic residues share their loads

[Chorus]
Quadratic residues, they're squares in disguise
Hidden beneath modular skies
When x squared congruent a mod p appears
That's when the quadratic residue clears
Euler's criterion shows the way
Raise to power (p minus one) half today

[Outro]
So when you see a mod p equation
Test for quadratic demonstration
Euler's test will never deceive
The answer that you will receive

88. The Legendre Symbol

[Verse 1]
When we have a number a and a prime p too
There's a symbol that tells us what we need to do
Put a over p in parentheses neat
The Legendre symbol makes number theory complete

[Chorus]
One if it's a quadratic residue
Negative one if it's not, that's true
Zero when p divides a clean
The Legendre symbol shows what we mean
Q-R or not, the symbol will say
One, negative one, or zero today

[Verse 2]
A quadratic residue means there's an x
Where x squared equals a modulo p, no hex
If such a number x exists out there
The symbol equals one, beyond compare

[Chorus]
One if it's a quadratic residue
Negative one if it's not, that's true
Zero when p divides a clean
The Legendre symbol shows what we mean
Q-R or not, the symbol will say
One, negative one, or zero today

[Bridge]
When p divides a evenly
The symbol becomes zero, can't you see
No quadratic residue when divisible
The Legendre symbol stays predictable

[Verse 3]
If a is not a Q-R mod p
Then negative one is what we'll see
Three simple values, easy to recall
The Legendre symbol explains it all

[Chorus]
One if it's a quadratic residue
Negative one if it's not, that's true
Zero when p divides a clean
The Legendre symbol shows what we mean
Q-R or not, the symbol will say
One, negative one, or zero today

[Outro]
Legendre symbol, showing the way
In number theory every day
One, negative one, or zero
Our mathematical hero

89. The Law of Quadratic Reciprocity

[Verse 1]
Two primes standing all alone
P and Q, each on their own
But there's a secret they both share
A golden bond beyond compare
When P asks Q "am I a square?"
The answer's linked through ancient prayer

[Chorus]
It's quadratic reciprocity
The golden theorem's mystery
P over Q times Q over P
Equals one or negative
Check if both are three mod four
Then it's minus one for sure
Otherwise it's always one
Gauss's golden theorem won

[Verse 2]
Take seventeen and twenty-three
Independent as can be
But ask if seventeen's a square
Modulo twenty-three with care
The answer tells you something more
About twenty-three's square lore

[Chorus]
It's quadratic reciprocity
The golden theorem's mystery
P over Q times Q over P
Equals one or negative
Check if both are three mod four
Then it's minus one for sure
Otherwise it's always one
Gauss's golden theorem won

[Bridge]
Minus one over P depends
On P mod four, the rule extends
If P is one mod four, it's plus
If P is three mod four, no fuss, it's minus
Two over P has its own way
P squared minus one divided by eight holds sway

[Verse 3]
Primes don't know about each other
Yet they dance like sister, brother
This conspiracy runs deep
Ancient secrets that they keep
From quadratic reciprocity
To Langlands' grand symphony

[Chorus]
It's quadratic reciprocity
The golden theorem's mystery
P over Q times Q over P
Equals one or negative
Check if both are three mod four
Then it's minus one for sure
Otherwise it's always one
Gauss's golden theorem won

[Outro]
Six proofs Gauss gave us all
For this theorem we recall
The beginning of the tale
Where deeper laws will never fail

90. Key Functions

[Verse 1]
When numbers hide their secrets deep inside
Tau function counts the doors that open wide
Every divisor standing in a row
How many factors does your number show?

[Verse 2]
Sigma takes a different approach tonight
Adds up divisors, sums them left to right
Not just the count but total weight they bear
Mathematical treasure buried there

[Chorus]
Tau counts the pieces, sigma adds them whole
Möbius dances with a different goal
One if it's lonely, zero if there's squares
Negative one when distinct primes declare
Functions that unlock the patterns underneath
Mathematical tools beyond belief

[Verse 3]
Möbius plays by rules that twist and turn
At one it starts, then watch the bridges burn
Product of distinct primes gets minus one raised high
But squared factors make the function die

[Verse 4]
Six has divisors one, two, three, and six
Tau of six equals four, that's how it clicks
Sigma sums them up to twelve complete
While Möbius gives us one, the cycle sweet

[Chorus]
Tau counts the pieces, sigma adds them whole
Möbius dances with a different goal
One if it's lonely, zero if there's squares
Negative one when distinct primes declare
Functions that unlock the patterns underneath
Mathematical tools beyond belief

[Bridge]
When four appears with two times two inside
Möbius turns to zero, cannot hide
Squared prime factors kill the dancing flow
But tau and sigma still have room to grow

[Outro]
Three functions weaving through the number maze
Counting, summing, switching minus ways
Tau and sigma, Möbius combined
Essential tools for mathematical minds

91. Multiplicativity

[Verse 1]
When functions dance with products clean
There's magic hiding in between
If m and n share no common thread
Then f of mn splits like bread

[Chorus]
Multiplicative, break it down
When coprime numbers come around
f of mn equals f of m times f of n
That's the rule that lets us win
Tau and sigma, phi and mu
All obey this golden clue

[Verse 2]
Start with primes raised to a power
That's where multiplicative shows its hour
Tau counts divisors, simple and neat
p to the a gives a plus one complete

[Chorus]
Multiplicative, break it down
When coprime numbers come around
f of mn equals f of m times f of n
That's the rule that lets us win
Tau and sigma, phi and mu
All obey this golden clue

[Bridge]
Sigma sums with geometric grace
p to the a plus one minus one divided by p minus one in place
Phi counts totients standing proud
p to the a minus p to the a minus one allowed

[Verse 3]
Product notation tells the tale
When prime factorizations never fail
Each exponent plays its part
Multiplicative functions are high art

[Chorus]
Multiplicative, break it down
When coprime numbers come around
f of mn equals f of m times f of n
That's the rule that lets us win
Tau and sigma, phi and mu
All obey this golden clue

[Outro]
GCD of one unlocks the gate
Multiplicative seals our fate

92. Möbius Inversion

[Verse 1]
When functions dance with divisors in harmony
You sum up all the pieces, call it f of n
But hidden in that total lives a mystery
The original parts g of d you can't quite see

[Chorus]
Möbius inversion, the mathematical reversal
Turn the sum around, make the hidden visible
Mu function holds the key to transformation
If you know the total, find each summand's station
Undo the divisor dance with calculation

[Verse 2]
Start with f of n equals sum over d dividing n
Of g of d for every divisor in the chain
But now we want to flip it, solve for g instead
The Möbius function mu will clear your head

[Chorus]
Möbius inversion, the mathematical reversal
Turn the sum around, make the hidden visible
Mu function holds the key to transformation
If you know the total, find each summand's station
Undo the divisor dance with calculation

[Bridge]
Here's the magic formula that makes it work
G of n equals sum of mu times f, no quirk
Mu of d times f of n divided by d
Or mu of n over d times f of d, you see
When n equals one, mu sums give you one
When n is greater, mu sums cancel to none
This sifting property makes the inversion run

[Verse 3]
Like integration has its derivative twin
Möbius inversion lets you work within
The world of number theory's deepest code
Where orthogonality lights up the road

[Chorus]
Möbius inversion, the mathematical reversal
Turn the sum around, make the hidden visible
Mu function holds the key to transformation
If you know the total, find each summand's station
Undo the divisor dance with calculation

[Outro]
From totals back to pieces, that's the Möbius way
The undo button for sums that saves the day

93. Linear Diophantine Equations

[Verse 1]
When coefficients dance with unknowns in a line
A times x plus b times y equals c divine
But integers demand their special place to be
There's a secret gatekeeper holding the key

[Chorus]
Greatest common divisor must divide the right side clean
If it doesn't split evenly, no solutions can be seen
But when it does divide through, infinite answers flow
Linear Diophantine secrets that every student should know

[Verse 2]
Find one solution first, call it x-naught and y-naught
Then shift by multiples, that's the pattern you've caught
Add b over d times t to your starting x coordinate
Subtract a over d times t from y, don't deviate

[Chorus]
Greatest common divisor must divide the right side clean
If it doesn't split evenly, no solutions can be seen
But when it does divide through, infinite answers flow
Linear Diophantine secrets that every student should know

[Bridge]
Parameter t can be any integer you choose
Positive, negative, zero - you simply cannot lose
The spacing stays consistent, solutions march in rows
Like soldiers in formation, each step the pattern shows

[Verse 3]
Bezout's identity lurks behind this theorem's face
Extended Euclidean helps you find that starting place
From concrete to abstract, integers hold their ground
In Diophantine's kingdom where whole number solutions are found

[Chorus]
Greatest common divisor must divide the right side clean
If it doesn't split evenly, no solutions can be seen
But when it does divide through, infinite answers flow
Linear Diophantine secrets that every student should know

[Outro]
When gcd divides c, solutions multiply
Integer coordinates beneath the algebraic sky

94. Pythagorean Triples

[Verse 1]
In the world of right triangles, there's a secret code
Where whole numbers dance in perfect mode
Ancient Greeks discovered this mystical relation
Three integers locked in squared equation

[Chorus]
m squared minus n squared gives you side a
Two times m times n makes side b today
m squared plus n squared creates the longest side
Pythagorean triples, where perfection hides
When m exceeds n and their greatest common factor's one
When m minus n is odd, the magic's done

[Verse 2]
Start with five and twelve and thirteen bright
These numbers form a perfect right
But dig deeper to the primitive core
Where coprime pairs unlock the door

[Chorus]
m squared minus n squared gives you side a
Two times m times n makes side b today
m squared plus n squared creates the longest side
Pythagorean triples, where perfection hides
When m exceeds n and their greatest common factor's one
When m minus n is odd, the magic's done

[Bridge]
Take m as three and n as two
Nine minus four equals five, it's true
Six comes from twice three times two
Thirteen from nine plus four, breakthrough

[Verse 3]
Every primitive triple follows this design
No exceptions to this geometric shrine
Generate infinite families with this key
Mathematics in perfect harmony

[Chorus]
m squared minus n squared gives you side a
Two times m times n makes side b today
m squared plus n squared creates the longest side
Pythagorean triples, where perfection hides
When m exceeds n and their greatest common factor's one
When m minus n is odd, the magic's done

[Outro]
From Babylon to modern calculation
This formula spans every nation
In the realm where squares meet harmony
Lives eternal mathematics poetry

95. Fermat's Last Theorem (Statement)

[Verse 1]
Back in sixteen thirty-seven, a French lawyer made a claim
Pierre de Fermat wrote it down, and history changed the game
In the margin of a book, he scribbled something bold
A theorem that would haunt the minds of mathematicians old

[Chorus]
X to the n plus y to the n equals z to the n
When n is three or greater, there's no solution then
No positive integers can make this equation true
Fermat's Last Theorem, centuries overdue

[Verse 2]
For squares it works just fine, like three four five we know
Nine plus sixteen equals twenty-five, Pythagoras showed
But cubes and higher powers, they break the pattern clean
No triple of whole numbers fits this ancient scene

[Chorus]
X to the n plus y to the n equals z to the n
When n is three or greater, there's no solution then
No positive integers can make this equation true
Fermat's Last Theorem, centuries overdue

[Bridge]
Fermat claimed he had a proof, too long for margins small
But centuries passed by and no one could solve it all
Until nineteen ninety-five, when Wiles broke through the wall
With modular forms and elliptic curves, he conquered Fermat's call

[Verse 3]
The statement seems so simple, any child could understand
But proving it required all of modern math at hand
From number theory depths to algebraic geometry's height
Andrew Wiles connected worlds and brought truth to light

[Chorus]
X to the n plus y to the n equals z to the n
When n is three or greater, there's no solution then
No positive integers can make this equation true
Fermat's Last Theorem, now we know it's true

[Outro]
Three hundred fifty-eight years from conjecture to the proof
That some equations have no answers, and that's mathematical truth

96. Infinitude of Primes (The Inexhaustible Supply)

[Verse 1]
Imagine you've collected every prime you know
Two, three, five, seven, let the listing grow
Eleven, thirteen, seventeen in line
Think you've caught them all? Here's Euclid's design

[Chorus]
Multiply them all together, add just one
The number that emerges can't be done
By any prime you thought you had contained
The infinite spring can never be drained
Constructive contradiction shows the way
New primes are born from every finite tray

[Verse 2]
Take your prison of primes, however vast
Multiply every prisoner, from first to last
Add one to that product, what do you find?
A rebel that slips through your perfect bind

[Chorus]
Multiply them all together, add just one
The number that emerges can't be done
By any prime you thought you had contained
The infinite spring can never be drained
Constructive contradiction shows the way
New primes are born from every finite tray

[Bridge]
Either it's prime itself, expanding your cage
Or factors reveal new primes on the page
Every finite net has holes to explore
The primes keep flowing, an endless shore

[Verse 3]
No collection, however grand or wide
Can hold all primes locked safe inside
Euclid's proof builds what seems absurd
Then shows that truth through reasoning assured

[Chorus]
Multiply them all together, add just one
The number that emerges can't be done
By any prime you thought you had contained
The infinite spring can never be drained
Constructive contradiction shows the way
New primes are born from every finite tray

[Outro]
The well runs deeper than you'll ever know
Prime numbers in eternal overflow

97. Fundamental Theorem of Arithmetic (The Atomic Theory of Numbers)

[Verse 1]
Every number holds a secret code within its bones
A recipe written in the language of primes alone
Like chemists cracking molecules down to their core
We break apart integers to see what lies in store
Two times three times five reveals the DNA
Of thirty's hidden architecture on display

[Chorus]
Prime factorization, nature's preservation
Every number breaks down one perfect way
Like the periodic table, elements are stable
Primes are the atoms that will never decay
Unique decomposition, mathematical tradition
Two raised to fourth times three tells the whole story

[Verse 2]
Strong induction proves that every number must divide
Into prime components that cannot hide
Start with two, assume it works for all below
Then prove the next one follows suit, watch the pattern grow
Either prime itself or splits in two clean parts
Each piece factors further, that's where the proof starts

[Chorus]
Prime factorization, nature's preservation
Every number breaks down one perfect way
Like the periodic table, elements are stable
Primes are the atoms that will never decay
Unique decomposition, mathematical tradition
Two raised to fourth times three tells the whole story

[Bridge]
But wait, what if two different paths exist?
Euclid's Lemma shows that can't persist
If prime divides a product, then it must
Divide one factor, this we absolutely trust
Contradiction proves there's only one true form
Each number's signature, forever the norm

[Verse 3]
Twelve is two squared times three, no other way
Eighteen breaks to two times three squared, clear as day
Like water's H-two-O or salt's sodium chloride
Each composite number has its prime recipe guide
The molecular formula of the number world
Where mathematical elements are precisely unfurled

[Chorus]
Prime factorization, nature's preservation
Every number breaks down one perfect way
Like the periodic table, elements are stable
Primes are the atoms that will never decay
Unique decomposition, mathematical tradition
This is the theorem that rules all of number theory

[Outro]
Every integer, every count you'll ever see
Has one true breakdown, guaranteed to be
The fundamental theorem, carved in mathematical stone
Each number's prime identity stands alone

98. Fermat's Little Theorem (The Cycling of Powers)

[Verse 1]
Take a number, any number, let's call it a
Pick a prime we'll call it p, the magic formula
Raise that number to the power of p minus one
Something beautiful happens when the math is done

[Chorus]
Round and round the clock we go
Powers cycling, ebb and flow
p minus one will bring us home
To one again, no matter where we roam
Fermat knew the secret code
Every power finds its road
Back to one in modular time
Fermat's Little Theorem sublime

[Verse 2]
Multiply the set from one to p minus one
By our number a, see what we have done
Every element gets shuffled to a different place
But the same set emerges, just a different face

[Chorus]
Round and round the clock we go
Powers cycling, ebb and flow
p minus one will bring us home
To one again, no matter where we roam
Fermat knew the secret code
Every power finds its road
Back to one in modular time
Fermat's Little Theorem sublime

[Bridge]
Like a clock that ticks away
Counting down from p minus one to one
When the cycle's complete today
We're right back where we begun
Permutations rearrange
But the product stays the same
In this modular exchange
Mathematics plays its game

[Verse 3]
Seven to the sixth in mod seven space
Equals one, returns to its starting place
Five to the fourth in mod five you'll see
Comes back to one inevitably

[Chorus]
Round and round the clock we go
Powers cycling, ebb and flow
p minus one will bring us home
To one again, no matter where we roam
Fermat knew the secret code
Every power finds its road
Back to one in modular time
Fermat's Little Theorem sublime

[Outro]
When the prime divides the power
When the cycle's complete
Fermat's theorem in its hour
Makes the pattern so sweet
a to p minus one
Always equals one
In the modular sun

99. Quadratic Reciprocity (The Secret Handshake)

[Verse 1]
Two primes meet at a mathematical soirée
Seven asks thirteen, "Am I a perfect square your way?"
Thirteen whispers back, "You're residue in my domain"
But there's a secret deeper than this number game

[Chorus]
It's the secret handshake, quadratic reciprocity
If p sees q, then q sees p with symmetry
When both are three mod four, flip the sign around
Gauss discovered structure where chaos once was found
Secret handshake, secret handshake
Hidden patterns that the primes all make

[Verse 2]
Like strangers at a party who discover they've been
At all the same gatherings, a network unforeseen
The Legendre symbols dance in perfect harmony
What you are to me, I am to you with one key

[Chorus]
It's the secret handshake, quadratic reciprocity
If p sees q, then q sees p with symmetry
When both are three mod four, flip the sign around
Gauss discovered structure where chaos once was found
Secret handshake, secret handshake
Hidden patterns that the primes all make

[Bridge]
p over q equals q over p
Unless they both leave three when divided by four
Then multiply by minus one and see
The reciprocal relationship core

[Verse 3]
From seemingly random residues emerged a law
Connecting distant primes through what young Gauss saw
A theorem of connection where none should exist
The mathematical handshake that can't be missed

[Chorus]
It's the secret handshake, quadratic reciprocity
If p sees q, then q sees p with symmetry
When both are three mod four, flip the sign around
Gauss discovered structure where chaos once was found
Secret handshake, secret handshake
Hidden patterns that the primes all make

[Outro]
In the realm of number theory's grand design
Every prime knows every other's quadratic sign

Back to Home

PATH 1: FOUNDATIONS & MATHEMATICAL THINKING | 93