初期の例としては、プラトンによるパルメニデス(紀元前370年)において暗黙に帰納法を使用した証明がみられる。