T|-¬Con(T) とならないように普通は「Tは健全な理論」という条件をつけるけど
真偽の概念を使わない条件って何かあるの？