Home                非線形補足　　　　    目次　　　　　　　訂正　　　　　　第2刷修正一覧　　　　　　 補足目次 

p121

van Lambalgen の公理系

インフォーマルな紹介はつぎのようにできるのではなかろうか．