A ballad about the axiom of choice
---
Lyrics:
I found you a basis
But I couldn't write it down
Uncountable lines, as hard as I tried
I wore a false crown
A series expansion's as close
As I'll ever come to
A countable lie of Fourier type
And that just won't do
That just won't do
I found you a paradox
That you'll never believe
Take a small ball, shatter it all
And now you have three
Banach and Tarski said volume's
A thing of your dreams
Euclidean motions contain
A group that is free
A group that is free
It follows me endlessly
Wherever I turn
Mocking me senselessly
When will I learn?
If only it made sense to me
I'd be mathematically reborn
That lemma of Zorn
That lemma of Zorn
I made a choice
That seemed obvious to me
Call it axiom, call it the devil
Call it ZFC
All these disguises
Are failed attempts to adorn
It leaves my mind torn, it fills me with scorn
That lemma of Zorn
That lemma of Zorn
That lemma of Zorn
