ekstensionalitetstesen
Ekstensionalitetstesen, den påstand, at alle meningsfulde sætninger i det naturlige sprog, "dagligsproget", vil kunne udtrykkes i logikkens formelle sprog. Enhver sammensat sætning er en funktion af de usammensatte sætninger, som indgår i den, dvs. at dens sandhed eller falskhed alene