metode der man anvender logikken på angitte grunnantagelser og ved hjelp av logiske prinsipper avleder logiske konsekvenser. Grunnantagelsene blir betraktet som tilleggsaksiomer til de logiske aksiomene. Klassen av alle de konsekvenser som kan avledes av dette utvidede sett av aksiomer, kalles gjerne en teori.