אם מערכת הכרה עקבית תמיד לא-שלמה (גדל) האם אמת אובייקטיבית יכולה להיות ידיעה מלאה לתודעה?

כן

שואל השאלה:
תוכל להאריך בדבריך?

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

ויטגנשטין ידידי