הוספת אקסיומה רביעית לתורת שימור הדיפרנציאלים והאינטגרלים

האם אתם חושבים שכדאי להוסיף אקסיומה רביעית לתורת שימור האינטגרלים - לכל מרחב אינטגרלי קיימת רדוקצייה רקורסיבית?

הרחבה על מוטיבציה ליצירת העצומה נמצאת בדף הויקיפדיה שלנו על מרחבים אינטגרלים:

https://he.wikipedia.org/wiki/%D7%9E%D7%A8%D7%97%D7%91_%D7%90%D7%99%D7%A0%D7%98%D7%92%D7%A8%D7%9C%D7%99