Besonderhede van voorbeeld: -7583346627306581859

Japanese

Shapiro (1991) と ヘンキン(1950) が検討した推論体系は、内包公理と選択公理を追加したものである。

Portuguese

O sistema dedutivo considerado por Shapiro (1991) and Henkin (1950) soma ao esquema dedutivo aumentado da lógica de primeira ordem os axiomas de compreensão e da escolha.