フレーゲ・デデキント・ペアノを読む: 現代における自然数論の成立