>>10995181I've already fully unpacked the list theory axioms to a sufficient degree. For that question, see
>>10995088 which was replied to in a disingenuous manner, ignoring the second sentence whose meaning is understood by
>>10995100, which would not have needed to be clarified were I dealing with an anon whose interest was genuine.
The most obvious indication that your querying is non-genuine comes from
>>10995054, which, together with concatenation (
>>10994982) efficiently demonstrates non-contradiction in the case of empty-lists-have-no-content.
