Skip to Content
Setjið inn leitarorð eða tilgreinið leitarskilyrði með reglulegri segð.

undecidability theorem
  1. óúrskurðanleikasetning