teorem substantiv , intetkjønn definition En matematisk setning som kan bevises ut fra andre aksepterte setninger.