反出生主義のロジックが数学的にも正当だっていうのはGrokも言う