(Verse 1) 모든 질문에 답을 찾아, 어떤 진리가 숨겨져 있을까? 그리고 나아갈 길을 찾을 때, 우린 필요조건을 따라가야 해. 충분조건처럼 확실하게, 태양처럼 밝게 비추는 그 길. 진리집합 속에 숨겨진 열쇠, 하나씩 풀어가며 나아가자. (Chorus) 필요충분조건 그 사이에서, 우리는 진리를 찾을 거야. 대우처럼 바뀐 모습으로, 모든 답을 역으로 풀어가. (Verse 2) 귀류법으로 시작된 의문, 모든 가능성을 시험해봐. 어떤 걸음도 헛되지 않게, 또는 다른 길을 선택할 때도, 우리는 계속 나아갈 거야. 모든 것이 연결되는 순간, 진리집합 속에서 우린 하나. 필요조건과 충분조건이, 서로 이어져서 완전한 답을 만들어. (Chorus) 필요충분조건 그 사이에서, 우리는 진리를 찾을 거야. 대우처럼 바뀐 모습으로, 모든 답을 역으로 풀어가. (Bridge) 그리고 또 다른 해답을 찾아, 어떤 말이든 진리를 향해. 필요조건이 반드시 있어, 진리의 문을 여는 열쇠처럼. (Outro) 모든 명제의 끝에 도달하면, 우리는 그 안에서 자유로워져. 필요충분조건처럼 완전하게, 진리집합 속에 우린 빛을 찾을 거야.