>>561
「x≧2」は「xでラベルづけられた」命題とでも考えればいい