А логика - это не часть математики?