10 , m ; c . m. : 12 , 3s ( gödel.