Title: Language and Logic; Temporality, Metaset, Recursion