Philosophy about proof