Stav dette: Metodologicheskiĭ analiz matematicheskikh teoriĭ :