>>105
証明できないものを定理とは呼ばないんじゃ？
それでも定理全てを列挙することは出来るが。