Development Of Group Theory In The Language Of Internal Set Theory