Modelltheorie door Georg Kreisel & Jean-Louis Krivine