Concepts such as infinite proof trees or infinite derivation trees have also been studied, e.g. infinitary logic.
Os conceptos como árbores de demostracións ou derivacións infinitas tamén foron estudados, por exemplo na lóxica proposicional infinitaria.