Are logic and mathematics identical?