『非決定性 選択公理』ってキーワードでGoogleしても電波は感じられないのか。むう。