Concepts such as infinite proof trees or infinite derivation trees have also been studied, e.g. infinitary logic.
Έχουν επίσης μελετηθεί έννοιες όπως τα άπειρα δένδρα αποδείξεων ή τα άπειρα δένδρα συνεπαγωγών, για παράδειγμα στην infinitary λογική.