El axioma de la introspección positiva, también conocido como axioma KK, dice específicamente que los agentes "saben que es lo que saben/conocen".