DNA reassociation was used to determine levels of relatedness among four thermophilic Methanobacterium strains that are able to use formate and between these organisms and two representative strains of Methanobacterium thermoautotrophicum, strain delta HT (= DSM 1053T = ATCC 29096T) (T = type strain) and strain Marburg (= DSM 2133). Three homology groups were delineated, and these groups coincided with the clusters identified by antigenic fingerprinting. The first group, which had levels of cross hybridization that ranged from 73 to 99%, included M. thermoautotrophicum delta HT, Methanobacterium thermoformicicum Z-245, Methanobacterium sp. strain THF, and Methanobacterium sp. strain FTF. The second and third groups were each represented by only one strain, Methanobacterium sp. strain CB-12 and M. thermoautotrophicum Marburg, respectively (cross-hybridization levels, 13 to 30 and 29 to 33%, respectively). Our results indicate that the name M. thermoformicicum should be rejected as it is a synonym of M. thermoautotrophicum. The taxonomic positions of strains Marburg and CB-12 need further investigation.