Teena tesai's Blog (1)

okay so this is an instance of being primed matching in substitution an inference rule is really an infinite object its relation of this kind there's a fine its representation a proof is a finite object a theorem is a fine and up theorem itself is a final is a sentence of I logical language and is a fine and object   C4040-252 representing possibly an infinite number of instances okay so the frantic the nature of all this with actually influence…