W dniu 04.07.2017 o 03:10, pinokio pisze:
> to sytuacja była by rozstrzygalna. A to oznacza że ...nie ma nic
> pośredniego!

Zastanówmy się, czy ma jakikolwiek sens układ dwóch twierdzeń z dowodami:
TW1: liczba A istnieje!
TW2: nigdy nie da się jej wskazać, niezależnie od mocy, miliardów lat
poszukiwań itd, bo jest to matematycznie niemożliwe.

https://pl.wikipedia.org/wiki/Filozofia_matematyki
konstruktywizm
konceptualizm
intuicjonizm
itd..