Where Have You Been All Day, Henry My Son?

Where have you been all day, Henry my son?
Where have you been all day, my beloved one?
- Doing math, dear mother,
Doing math, dear mother!
Oh mother come quick, 'cause I'm feeling very sick,
And I wanna lie down and die!

What kind of math did you do, Henry my son?
What kind of math did you do, my beloved one?
- Logic, dear mother,
Oh, logic, dear mother!
Oh mother come quick, 'cause I'm feeling very sick,
And I wanna lie down and die!

What do you gain from that, Henry my son?
What do you gain from that, my beloved one?
- Some paper, dear mother,
Some paper, dear mother!
Oh mother come quick, 'cause I'm feeling very sick,
And I wanna lie down and die!

What does the world gain, Henry my son?
What does the world gain, my beloved one?
- The world lost two dead trees,
Two dead trees, dear mother!
Oh mother come quick, 'cause I'm feeling very sick,
And I wanna lie down and die!

So what did you prove today, Henry my son?
What did you prove today, my beloved one?
- A and not-A are both true,
A and not-A are both true!!
Oh mother come quick, 'cause I'm feeling very sick,
And I wanna lie down and die!
I'm dead!