>>4
横レスすまないが、プリンキピアマテマティカって最初は解析学を基礎付けるために書かれた、
結果的にはそこまで到達できずに終わったけど