|
|
|
|
|
|
by ahf8Aithaex7Nai
256 days ago
|
|
|
Thanks! It seems that in the metatheory, one can resort to type theory in order to avoid having to fall back on set theory in a circular manner. Unfortunately, I don't know anything about that, but I'll take a closer look at it. |
|
|