User talk:109.166.136.105

Enumeration of cases
The mentioned section which includes the subsection Sequence spaces has the name relating to "other fields of mathematics". So in this section there should be a section with the name Mathematical logic including the sequences of propositions.

The m-ary function given by you applies to the case of non-monadic predicates, starting from at least binary predicates (where m=2,3,...)

Re the use of sequences of propositions in proofs about the general term of a sequence, the type of proofs is perhaps proof by cases (and also involving counterexamples when necessary) to see what truth value is generated by attachment of a predicate to the terms of the sequence. This proof is based by inspecting each(individual) term of the sequence like that of Fermat where the first 5 checked cases generate true propositions and then give false propositions. The general term generally gives false propositions re Fermat numbers.--109.166.136.105 (talk) 21:54, 25 September 2019 (UTC)