its second order logic. assertions. the consistency is internal to each statement but if you try to find a first order logic across the entire set of doctor who you won’t.
its second order logic.
oh i overthink things. i started in the late 4th early peter davidson which was all sciency.
logopolis inspired my fascination with quantum physics logic computing etc.
so it all ties in for me. i’m not attempting to modify your perspective just expressing my own.