Diskuto:Teorio de tipoj

Laŭ mi, la vortumo "tipa teorio" ne senpere komprenigas, ke temas pri specife pritipa teorio, kvankam la angla vorto "type theory" aŭ la germana "Typentheorie" jes ja komprenigas tion, sed al mi pli sonas je tio, ke iu ajn teorio estas iaspece tipa pri io (kio korespondus al la angla "typical theory" aŭ la germana "typische Theorie"). Ĉi-kaze la latinida vortkrea principo pli klaras al mi: Tial mi proponas - laŭ ekzemple la franca lingvo - la vortumon "teorio de tipoj" (aŭ eĉ pli klare "teorio pri tipoj").

ThomasPusch 20:13, 9. Apr 2009 (UTC)