Serti prinsipi (par es., par do ogeti cualsiasi, existe na cołesion de ogeti costituìa precisamente da sti do ogeti) podarìa eser considerà ciaramente come veri, però serte congeture, come l’ipòtexi del continuo, podarìa dimostrar de eser indecidibiłi propio su ła baxe de tałi prinsipi.