THEOREMS AD INFINITUM

Abstract

The theorems of a first order theory can be partially ordered according to their strength. As a Consequence of two famous theorems of Gödel. the order turns out to be dense. This consequence is either disastrous or amusing, according to your personal view of research in mathematics.