Title: The metaformalization of human intel[l]igence
Subjects: Metatheory, Cybernetics, Axiomatic set theory, Artificial intelligence