Logic In Mathematics In The Modern World