x
Gödelian Logic — LessWrong