Познаваемость против реализма - это к Гёделю. Реальность, данная нам в математике - строга и печальна. Математически невозможно полностью познать мир.