כמובן...
קטנתי מלהיות מסוגל להגדיר מציאות, הכוונה היא לכך שבמתמטיקה אין ערך לתוצאות של ניסויים, אלא רק ללוגיקה והוכחה. האם המתמטיקה היא תגלית או המצאה? אני מסכים אתך, היא שילוב של השניים, אם כי הנטייה הכללית היא של הגדרות בסיסיות (באנליזה, באלגברה ובתורת המספרים, למשל, האופן מובהק) להיות יותר קרובות למציאות, יותר "תגליות", ושל פיתוחים מתקדמים (במבנים אלגבריים שונים, וגישות שונות לתורת המספרים ולאנליזה) הן יותר כמו "המצאות", ומנותקות יותר מהמציאות, אם כי גם הפיתוחים האלה הם "תגליות" על התגליות הבסיסיות יותר, וגם חלק מהם משמשים אח"כ לתאור תופעות פיסיקליות, מהמציאות. משני הכוונים, תאוריה מתמטית לא נפסלת ע"י ניסויים (אם כי ניתן לראות בדוגמאות נגדיות סוג של ניסויים כושלים), ותורה שנבנתה והוכחה היא מושלמת בפני עצמה, ונכונה באופן אבסולוטי, כאשר כל שיפור שלה הוא או תוספת של כלים משמעותיים או הכללה מסוג כלשהו, לעומת הפיסיקה, שבלי תוצאות מוצלחות בניסויים היא בעצם כלום, ולכן מצד אחד פחותה ביופיה האבסולוטי, אבל מצד שני, העובדה שכן ניתן לחזות ע"פ הפיסיקה תוצאות של ניסויים נותנת לה יופי אחר.