カラだから（歌：宮舞モカSV2）

問題　集合Aに対して、次のように命題Pを定める：任意のx \in Aに対してxは命題P'を満たす。このとき、任意のP'に対して命題Pは常に真になるらしい。何故でしょう。解答　集合Aが空だから。■ボカコレ2026冬ルーキーランキング参加曲です。『The VOCALOID Collection（ボカコレ）』はボカロ文化をきっかけに生まれたインターネット等で活動するクリエイターやユーザー、企業などボカロに関わる全ての方が参加できるボカロ文化の祭典です。▼ボカコレ2026冬ルーキーランキング https://vocaloid-collection.jp/ranking/rookie/

http://www.nicovideo.jp/watch/sm45966577