Topic summary

Finitary logic

Finitary logic

Extracted from the Wikipedia article Finitary.

In standard mathematics, an operation is finitary by definition. Therefore, these terms are usually only used in the context of infinitary logic.