Б. Паскаль

Все должно быть доказано, и при доказательстве нельзя использовать ничего, кроме аксиом и ранее доказанных теорем [цит. по: 262, с. 76].