abstraktionsprincip, logisk princip som säger att man givet en egenskap eller ett begrepp kan bilda klassen (mängden) av alla de objekt som har egenskapen respektive faller under begreppet – man abstraherar så att säga från allt som utmärker begreppet utom dess omfång, dvs. de objekt som faller under begreppet.