On Jun 1, 6:52 am, WM <mueck...@rz.fh-augsburg.de> wrote: > Logical foundations cannot be proven (how should they? By some pre- > logic laws?). Logical foundations can only be obtained from observing > the behaviour of sets --- necessarily finite sets, because there are > no infinite sets in reality that could be observed.
Most finite sets cannot be observed EITHER, dumbass. They are WAY TOO BIG.